Différences entre les versions de « Spécifications, Contraintes et Preuves en Géométrie Bilan2016-2021 »
Aller à la navigation
Aller à la recherche
| Ligne 1 : | Ligne 1 : | ||
===Objectifs/Challenges=== | ===Objectifs/Challenges=== | ||
| + | Les objectifs de ce thèmes relèvent de la formalisation de la géométrie en vue d'usages pratiques comme la résolution de contraintes géométriques, l'aide à la preuve en géométrie dans les domaines de l'enseignement ou de la robotique ou encore la certification d'algorithmes ayant trait à la géométrie. C'est une thématique difficile où se côtoient des aspects théoriques comme le calcul algébrique formel, la théorie du calcul des constructions ou encore l'axiomatisation de la géométrie et des aspects plus pratique comme l'ingénierie de la preuve en Coq ou le guidage de méthodes numériques développées en C++. | ||
| + | |||
===Participants=== | ===Participants=== | ||
* Un professeur : [[Pascal Schreck]] | * Un professeur : [[Pascal Schreck]] | ||
Version du 5 janvier 2021 à 10:57
Objectifs/Challenges
Les objectifs de ce thèmes relèvent de la formalisation de la géométrie en vue d'usages pratiques comme la résolution de contraintes géométriques, l'aide à la preuve en géométrie dans les domaines de l'enseignement ou de la robotique ou encore la certification d'algorithmes ayant trait à la géométrie. C'est une thématique difficile où se côtoient des aspects théoriques comme le calcul algébrique formel, la théorie du calcul des constructions ou encore l'axiomatisation de la géométrie et des aspects plus pratique comme l'ingénierie de la preuve en Coq ou le guidage de méthodes numériques développées en C++.
Participants
- Un professeur : Pascal Schreck
- Quatre maîtres de conférences : Gabriel Braun, 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)