Équipe IGG : Informatique Géométrique et Graphique

Spécifications, Contraintes et Preuves en Géométrie Bilan2016-2021

De Équipe IGG : Informatique Géométrique et Graphique
Aller à la navigation Aller à la recherche

Objectifs/Challenges

Participants

  • Un professeur : Pascal Schreck
  • Quatre maîtres de conférences : Nicolas Magaud (HDR), Pascal Mathis (HDR) (jusqu'au 31/08/2017), Julien Narboux
  • Deux doctorants : David Braun (Allocataire UNISTRA du 10/2015 au 09/2018) et Pierre Boutry (Allocataire UNISTRA du 10/2013 au 09/2016)

Résultats

Mécanisation des constructions à la règle et au compas

Fondements de la géométrie

Aide à la preuve en géométrie d'incidence