A Complete Invariant Generation Approach for P-solvable Loops
Related publications (32)
Graph Chatbot
Chat with Graph Search
Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.
DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.
We study annihilating polynomials and annihilating ideals for elements of Witt rings for groups of exponent 2. With the help of these results and certain calculations involving the Clifford invariant, we are able to give full sets of generators for the ann ...
Quantification of pollutant mass fluxes is essential for assessing the impact of contaminated sites on their surrounding environment, particularly on adjacent surface water bodies. In this context, it is essential to quantify but also to be able to monitor ...
Radio frequency geophysical methods are known for being very versatile tools in ground- and groundwater investigation at shallow depths. They are fast and easy to use and allow a high density of information over large surfaces, which makes them very suitab ...
We describe the new software package Aligator for automatically inferring polynomial loop invariants, The package combines algorithms from symbolic summation and polynomial algebra with computational logic, and is applicable to the rich class of P-solvable ...
Springer-Verlag New York, Ms Ingrid Cunningham, 175 Fifth Ave, New York, Ny 10010 Usa2008
Synchrotron‐based X‐ray Tomographic Microscopy (SRXTM) is nowadays a powerful technique for non‐destructive, high‐resolution investigations of a broad kind of materials. High‐brilliance and high‐coherence third generation synchrotron radiation facilities a ...
We present a method for generating polynomial invariants for a subfamily of imperative loops operating on numbers, called the P-solvable loops. The method uses algorithmic combinatorics and algebraic techniques. The approach is shown to be complete for som ...
Springer-Verlag New York, Ms Ingrid Cunningham, 175 Fifth Ave, New York, Ny 10010 Usa2008
This work concerns the study of Euclidean minima of maximal orders in central simple algebras. In the first part, we define the concept of ideal lattice in the non-commutative case. Let A be a semi-simple algebra over Q. An ideal lattice over A is a triple ...
The Geneva and Zurich housing markets are characterised by high proportions of foreigners and a large share of rental housing. This provides ideal conditions for testing whether foreigners pay more for the same quality of housing than Swiss households and ...
The fundamental aspects of classical thermodynamics are presented in a simple compact way. The equations derived are illustrated by numerous (111) examples, often direct application of the relations just obtained. The (four) laws of thermodynamics are pres ...
This thesis deals with the study of ideal lattices over number fields. Let K be a number field, which is assumed to be CM or totally real. An ideal lattice over K is a pair (I,b), where I is a fractional ideal of K and b : I × I → R is a symmetric positive ...
