Difference between revisions of "Recherche:theme1"
Jump to navigation
Jump to search
Line 14: | Line 14: | ||
** Caroline Villard | ** Caroline Villard | ||
* un ingénieur de recherche: | * un ingénieur de recherche: | ||
− | ** Sylvain Thery [http://dpt-info.u-strasbg.fr web_perso] | + | ** Sylvain Thery [http://dpt-info.u-strasbg.fr/~thery web_perso] |
=== Concepts fondamentaux mis en œuvre dans ce thème === | === Concepts fondamentaux mis en œuvre dans ce thème === |
Revision as of 16:33, 4 April 2007
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