Difference between revisions of "Recherche:theme1"
Jump to navigation
Jump to search
Line 1: | Line 1: | ||
== Modélisation, Construction et Preuves en géométrie == | == Modélisation, Construction et Preuves en géométrie == | ||
+ | |||
=== Participants === | === Participants === | ||
* 4 professeurs: | * 4 professeurs: |
Revision as of 16:32, 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