Quentin Guilmant

• Master of Research
• Max Planck Institute for Software Systems

A linear constraint loop is specified by a system of linear inequalities that define the relation between the values of the program variables before and after a single execution of the loop body. In this paper we consider the problem of determining whether such a loop terminates, i.e., whether all maximal executions are finite, regardless of how th...

The class of surreal numbers, denoted by $\textbf{No}$, initially proposed by Conway, is a universal ordered field in the sense that any ordered field can be embedded in it. They include in particular the real numbers and the ordinal numbers. They have strong relations with other fields such as field of transseries. Following Gonshor, surreal numbe...

Surreal numbers, have a very rich and elegant theory. This class of numbers, denoted by No, includes simultaneously the ordinal numbers and the real numbers, and forms a universal huge real closed field: It is universal in the sense that any real closed field can be embedded in it. Following Gonshor, surreal numbers can also be seen as signs sequen...