Historic

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

Figure 1 : Résolution de contraintes et constructions géométriques - Construction d'un plan tangent à trois sphères données (A. Fabre).

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.