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

Différences entre les versions de « 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
Ligne 2 : Ligne 2 :
 
===Participants===
 
===Participants===
 
* Un professeur : [[Pascal Schreck]]
 
* Un professeur : [[Pascal Schreck]]
* Quatre maîtres de conférences : [http://dpt-info.u-strasbg.fr/~magaud Nicolas Magaud], [http://dpt-info.u-strasbg.fr/~mathis Pascal Mathis] (HDR), [http://dpt-info.u-strasbg.fr/~narboux Julien Narboux]
+
* Quatre maîtres de conférences : [http://dpt-info.u-strasbg.fr/~magaud Nicolas Magaud] (HDR), [http://dpt-info.u-strasbg.fr/~mathis Pascal Mathis] (HDR) (jusqu'au 31/08/2017), [http://dpt-info.u-strasbg.fr/~narboux 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)
 
* Deux doctorants : David Braun (Allocataire UNISTRA du 10/2015 au 09/2018) et Pierre Boutry (Allocataire UNISTRA du 10/2013 au 09/2016)
  

Version du 5 janvier 2021 à 10:43

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