# 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