Nicolas Magaud
IdRefMots clés
FR |
EN
Théorie des types
Racine carrée
Aide à la preuve
Automatisation
Assistant de preuve
Géométrie finie
Géométrie projective
Mécanisation des preuves
Propriété de Desargues
Prouveur automatique
Théorie des matroïdes
Assistants de preuve
Géométrie combinatoire
Matroïdes
Coq (logiciel)
Géométrie algorithmique
Enveloppes (géométrie)
Théorie de la démonstration
Programmation fonctionnelle (informatique)
Objective Caml (langage de programmation)