Action de Recherche Coopérative
GEOMETRICA
Axiomatisation du calcul géométrique
Action de recherche coopérative de la
Direction scientifique de l'Inria ,
Géométrica a pour but de développer une approche axiomatique du calcul géométrique. Cette approche tend à définir les algorithmes à partir de primitives simples vérifiant un ensemble fini d'axiomes.Voir Objectifs détaillés pour plus de détails.
Un groupe de travail, introduit par un bref exposé,
se deroulera à l'ENS Paris, à 11h, les jours suivants :
- Vendredi 5 Mars : Introduction
- Jeudi 1er Avril : Balayage topologique du graphe de visibilité (M. Pocchiola)
- Lundi 3 Mai : On the role of predicates in geometric computing (JD Boissonnat)
- Vendredi 4 Juin : Graphes de visibilité en CGAL (P. Angelier) ; Réunion à Sophia
- Vendredi 25 Juin :Affichage et Élimination des Parties Cachées (Jeff Vitter)
Resumés des exposés