La bibliothèque de base de CGAL comprend pour l'instant un certain nombre de classes implantant des algorithmes dont les données sont des objets linéaires (points, segments, etc) mais très peu de fonctionnalités concernant des objets courbes. En particulier, les triangulations de Delaunay et les diagrammes de Voronoï de CGAL ne sont disponibles que pour des points.
Le but de ce stage était de définir des prédicats géométriques certifiés intervenant dans le calcul du diagramme de Voronoï de segments, en s'inspirant des travaux de Burnikel. Côté pratique, ces travaux ont conduit à une implantation pour CGAL.