É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

Révision datée du 5 janvier 2021 à 10:17 par Schreck (discussion | contributions)

(diff) ← Version précédente | Voir la version actuelle (diff) | Version suivante → (diff)

Aller à la navigation Aller à la recherche

Objectifs/Challenges

Participants

Un professeur : Pascal Schreck
Quatre maîtres de conférences : Nicolas Magaud, Pascal Mathis (HDR), 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

Récupérée de « https://igg.icube.unistra.fr/index.php?title=Spécifications,_Contraintes_et_Preuves_en_Géométrie_Bilan2016-2021&oldid=8062 »