Recherche:theme1

Modeling, construction and proofs in geometry

This theme focuses on research activities around the topic of geometric modeling. It splits in 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 makes geometric modeling benefit from the latest advances in specifications and proofs.

Permanent members

• 4 professors:
  • Dominique Bechmann
  • Jean-François Dufourd
  • Jean-Michel Dischler
  • Pascal Schreck
• 1 full researcher CR1:
  • Hyewon Seo
• 9 associate professors:
  • Rémi Allègre
  • Gabriel Braun
  • David Cazier
  • Caroline Essert
  • Pierre Kraemer
  • Nicolas Magaud
  • Pascal Mathis
  • Julien Narboux
  • Basile Sauvage
• 1 research engineer:
  • Sylvain Thery

Partitioning into operations

This theme splits in three complementary operations :

Operation 1: Geometric and topological modeling

Permanent members :

• Dominique Bechmann
• Jean-Michel Dischler
• Rémi Allègre
• Pierre Kraemer
• David Cazier
• Basile Sauvage
• Hyewon Seo
• Sylvain Thery

Operation 2: Solving of geometric constraints

Permanent members :

• Pascal Schreck
• Caroline Essert
• Pascal Mathis
• Julien Narboux

Operation 3: Specifications and proofs in geometry

Permanent members :

• Jean-François Dufourd
• Nicolas Magaud
• Julien Narboux