Calcul géométrique certifié

Ce cours présentera les problèmes de robustesse des algorithmes géométriques et montrera comment ces problèmes peuvent être résolus afin d'obtenir des implantations à la fois robustes et efficaces.

Ces questions seront illustrées par deux exemples principaux :

calculs de triangulations, calculs d'arrangements de courbes,

qui sont fondamentaux en géométrie algorithmique et dans de nombreuses applications.

Transparents

cours + algorithme de Bentley-Ottmann

Quelques pointeurs

• Travaux en cours: More Spaces for Computational Geometry (possibilités de stages).

• Des publications sur la robustesse et l'implantation (listes redondantes) des algorithmes géométriques (je peux envoyer des fichiers sur demande).
• Travaux CGAL.

• Transparents From triangles to curves.
• Transparents d'introduction à la bibliothèque CGAL.

• Interface Python pour CGAL.
• Interface Scilab pour CGAL.