Pascal Schreck
IdRefMots clés
FR |
EN
Coq (logiciel)
Algorithmes
Modélisation tridimensionnelle
Modélisation géométrique
Contraintes (intelligence artificielle)
Prototypage rapide
Topologie
Modèles géométriques
Graphes topologiques, Théorie des
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