Convex polyhedra in floating point

Advisors: David Monniaux, Michaël Périn

Convex polyhedra appear in various areas in mathematics and computer science, including static analysis by abstract interpretation. The usual approaches for computing over convex polyhedra, as implemented in mainstream libraries, are based on computations in extended precision integer or rational numbers. This hampers efficiency; we would often prefer to compute everything in floating-point.

The goal of the internship is to investigate computations over convex polyhedra in floating-point arithmetic.

Some of these themes may lead to a CIFRE PhD with The MathWorks.

Contact | Site Map | Site powered by SPIP 3.1.13 + AHUNTSIC [CC License]

info visites 1693544