Différences entre les versions de « Spécifications, Contraintes et Preuves en Géométrie Bilan2016-2021 »
Aller à la navigation
Aller à la recherche
(Page créée avec « ===Objectifs/Challenges=== ===Participants=== * Un professeur : Pascal Schreck * Quatre maîtres de conférences : [http://dpt-info.u-strasbg.fr/~magaud Nicolas Magaud… ») |
|||
| Ligne 4 : | Ligne 4 : | ||
* 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], [http://dpt-info.u-strasbg.fr/~mathis Pascal Mathis] (HDR), [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) | ||
| + | |||
| + | ===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==== | ||
Version du 5 janvier 2021 à 10:17
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)