Équipe IGG : Informatique Géométrique et Graphique

Différences entre les versions de « Historique »

De Équipe IGG : Informatique Géométrique et Graphique
Aller à la navigation Aller à la recherche
 
Ligne 1 : Ligne 1 :
 
L'équipe Informatique Géométrique et Graphique (IGG) se structure autour de deux thèmes :
 
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, construction et preuves en géométrie]].
* [[Modélisation et visualisation, simulation et animation, réalité virtuelle]].
+
* [[Visualisation, interaction et simulation]].
 +
 
 +
 
  
 
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.
 
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 ==
+
== Modélisation, construction et preuves en géométrie ==
  
[[Image:plan_tangent_spheres.jpg|thumb|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 fédère les activités de recherche autour de la modélisation géométrique qu’il conjugue sous toutes ces coutures. Ce thème se découpe en trois opérations complémentaires :
  
 +
* Modélisation géométrique et topologique,
 +
* Constructions géométrique automatisées,
 +
* Spécifications et preuves en géométrie.
  
  
  
Ce thème se décompose ensuite en deux opérations :
+
== Visualisation, interaction et simulation ==
  
* Spécifications formelles et preuves en modélisation géométrique.
+
Ce thème se développe en liaison avec le programme mobilisateur RéVA. Il se découpe en deux opérations complémentaires :
* Constructions géométriques automatisées.
 
<br><br><br>
 
  
== Modélisation et visualisation, simulation et animation, réalité virtuelle ==
+
* Simulation, visualisation et rendu,
 +
* Interaction 3D.

Version du 2 mai 2007 à 13:12

L'équipe Informatique Géométrique et Graphique (IGG) se structure autour de deux thèmes :


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.


Modélisation, construction et preuves en géométrie

Ce thème fédère les activités de recherche autour de la modélisation géométrique qu’il conjugue sous toutes ces coutures. Ce thème se découpe en trois opérations complémentaires :

  • Modélisation géométrique et topologique,
  • Constructions géométrique automatisées,
  • Spécifications et preuves en géométrie.


Visualisation, interaction et simulation

Ce thème se développe en liaison avec le programme mobilisateur RéVA. Il se découpe en deux opérations complémentaires :

  • Simulation, visualisation et rendu,
  • Interaction 3D.