Difference between revisions of "Recherche:theme1"
m |
|||
| Line 1: | Line 1: | ||
== Modeling, construction and proofs in geometry == | == Modeling, construction and proofs in geometry == | ||
| − | + | This theme deals with research activities on geometric modeling. It splits into three complementary operations. Operation 1 (Geometric and topological modeling) studies de combinatorial models which are the common basis for the whole team. Operation 2 (Solving of geometric constraints) studies a complementary point of view, especially the embeddings. Operation 3 (Specifications and proofs in geometry) is an original topic which make geometric modeling benefit from its latest advances in specifications and proofs. | |
=== Permanent members === | === Permanent members === | ||
| Line 24: | Line 24: | ||
This theme splits into three complementary operations : | This theme splits into three complementary operations : | ||
| − | ''' | + | ''' Operation 1: [[THEME_1_OPERATION1|Geometric and topological modeling]]''' |
Permanent members : | Permanent members : | ||
| Line 34: | Line 34: | ||
* Sylvain Thery | * Sylvain Thery | ||
| − | ''' | + | ''' Operation 2: [[THEME_1_OPERATION2|Solving of geometric constraints]] ''' |
Permanent members : | Permanent members : | ||
| Line 43: | Line 43: | ||
| − | ''' | + | ''' Operation 3: [[THEME_1_OPERATION3|Specifications and proofs in geometry]] ''' |
Permanent members : | Permanent members : | ||
Revision as of 15:54, 12 June 2009
Modeling, construction and proofs in geometry
This theme deals with research activities on geometric modeling. It splits into three complementary operations. Operation 1 (Geometric and topological modeling) studies de combinatorial models which are the common basis for the whole team. Operation 2 (Solving of geometric constraints) studies a complementary point of view, especially the embeddings. Operation 3 (Specifications and proofs in geometry) is an original topic which make geometric modeling benefit from its latest advances in specifications and proofs.
Permanent members
- 4 professors:
- Dominique Bechmann
- Jean-François Dufourd
- Jean-Michel Dischler
- Pascal Schreck
- 7 associate professors:
- Rémi Allègre
- David Cazier
- Nicolas Magaud
- Pascal Mathis
- Julien Narboux
- Basile Sauvage
- Caroline Villard
- 1 research engineer:
- Sylvain Thery
Partitioning into operations
This theme splits into three complementary operations :
Operation 1: Geometric and topological modeling
Permanent members :
- Dominique Bechmann
- Jean-Michel Dischler
- Rémi Allègre
- David Cazier
- Basile Sauvage
- Sylvain Thery
Operation 2: Solving of geometric constraints
Permanent members :
- Pascal Schreck
- Pascal Mathis
- Julien Narboux
- Caroline Villard
Operation 3: Specifications and proofs in geometry
Permanent members :
- Jean-François Dufourd
- Nicolas Magaud
- Julien Narboux