Publication

Reasoning algebraically about P-solvable loops

Publications associées (18)

On Sums of Locally Testable Affine Invariant Properties

Affine-invariant properties are an abstract class of properties that generalize some central algebraic ones, such as linearity and low-degree-ness, that have been studied extensively in the context of property testing. Affine invariant properties consider ...

Springer2011

Ideal knots and other packing problems of tubes

Henryk Gerlach

This thesis concerns optimal packing problems of tubes, or thick curves, where thickness is defined as follows. Three points on a closed space curve define a circle. Taking the infimum over all radii of pairwise-distinct point triples defines the thickness ...

EPFL2010

Database Queries in Java

Christopher Ming-Yee Iu

In conventional programming languages like Java, the interface for accessing databases is often inelegant. Typically, an entire separate database query language must be embedded inside a conventional programming language for programmers to access the full ...

EPFL2010

L'algèbre al-Badi d'al-Karagi

Christophe Hebeisen

This work contains the study of the algebra called al-Badī‘ fī al-ḥisāb (literally : "the Wonderful on calculation"), written by the Persian mathematician Abu Bakr Muḥammad ibn al-Ḥusain al-Karaǧi (previously known as ...

EPFL2009

Aligator: A mathematica package for invariant generation

Laura Ildiko Kovacs

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

Invariant generation for P-solvable loops with assignments

Laura Ildiko Kovacs

We discuss interesting properties of a general technique for inferring polynomial invariants for a subfamily of imperative loops, called the P-solvable loops, with assignments only. The approach combines algorithmic combinatorics, polynomial algebra and co ...

Springer-Verlag New York, Ms Ingrid Cunningham, 175 Fifth Ave, New York, Ny 10010 Usa2008

Algebraic methods for channel coding

Frédérique Oggier

This work is dedicated to developing algebraic methods for channel coding. Its goal is to show that in different contexts, namely single-antenna Rayleigh fading channels, coherent and non-coherent MIMO channels, algebraic techniques can provide useful tool ...

EPFL2005

Symmetry breaking in mechanical systems

The first part of this thesis studies the problem of symmetry breaking in the context of simple mechanical systems with compact symmetry Lie group G. In this part we shall assume that the principal stratum of the G-action on the configuration space Q of a ...

EPFL2005