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

Spécifications, Contraintes et Preuves en Géométrie

De Équipe IGG : Informatique Géométrique et Graphique
Révision datée du 4 février 2016 à 18:14 par fr>Allegre (Page créée avec « __NOTOC__ '''Retour à l'acceuil''' ==Thème Contraintes et Preuves en Géométrie== Bilan de 2011 à mi-2016 et prospective du thème Contraintes et Preu... »)
(diff) ← Version précédente | Voir la version actuelle (diff) | Version suivante → (diff)
Sauter à la navigation Sauter à la recherche

Retour à l'acceuil

Thème Contraintes et Preuves en Géométrie

Bilan de 2011 à mi-2016 et prospective du thème Contraintes et Preuves en Géométrie

Objectifs / Challenges

Participants permanents

Autres participants

  • Doctorants :

Publication

Résultats

  • Titre 1 (thèse XXX) :
  • Titre 2 (thèse YYY) :


Perspectives