Recherche:theme1

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