Historique
Révision datée du 15 mars 2007 à 10:35 par Admin (discussion | contributions)
L'équipe Informatique Géométrique et Graphique (IGG) se structure autour de deux thèmes :
- Spécifications, preuves et constructions géométriques.
- Modélisation et visualisation, simulation et animation, réalité virtuelle.
L'ensemble de l'équipe IGG participe à certains grands travaux comme la définition d'une plate-forme de modélisation géométrique ainsi qu'aux applications visées en imagerie médicale, en géologie, en simulation de phénomènes physiques et en CAO.
Spécifications, preuves et constructions géométriques
Le premier thème recouvre les activités d'IGG en Spécifications, preuves et constructions géométriques nommées MAXIME à certaines occasions.
Ce thème se décompose ensuite en deux opérations :
- Spécifications formelles et preuves en modélisation géométrique.
- Constructions géométriques automatisées.