Algorithms studied by Y. Bertot
Most of the algorithms I study are used to illustrate techniques of
formal verification, or to enhance formal verification in some domains
of computer science of mathematics. These algorithms are usually
implemented in Ocaml, C, or Java.
Algorithms in computational geometry
Computing Delaunay triangulations.
Delaunay triangulations can have applications in many fields of
computer science, for instance they can help solve problems in
motion planning for robots (thanks to the duality with Voronoï diagrams).
Algorithms in computer arithmetics
Algorithms in real algebraic geometry
Last modified: Mon Dec 8 14:50:29 CET 2014