Recherche:theme1
Revision as of 15:28, 4 April 2007 by Command line script (talk | contribs)
Modélisation, Construction et Preuves en géométrie
Participants
- 4 professeurs:
- Dominique Bechmann
- Jean-François Dufourd
- Jean-Michel Dischler
- Pascal Schreck
- 5 Maîtres de conférences:
- Sylvain Brandel
- David Cazier
- Nicolas Magaud
- Pascal Mathis
- Caroline Villard
- un ingénieur de recherche:
- Sylvain Thery web_perso
Concepts fondamentaux mis en œuvre dans ce thème
- séparation des problèmes de structure et de forme
- résolutions formelles
- preuves.
Activité transverse intégrative:
- Plate-forme logicielle de modélisation géométrique
Applications privilégiées:
- Applications médicales
Découpage en opérations
Ce thème se décompose en 3 opérations:
Opération 1: modélisation géométrique et topologique
Participants:
- Dominique Bechmann
- Sylvain Brandel
- David Cazier
- Sylvain Thery
- Jean-François Dufourd
Opération 2: constructions géométriques et résolution de contraintes
Participants:
- Pascal Schreck
- Pascal Mathis
- Caroline Villard
Opération 3: spécifications et preuves en géométrie
Participants:
- Jean-François Dufourd
- Nicolas Magaud