Aller directement à la barre de recherche
Le moteur de recherche
des thèses françaises
Les thèses
Les personnes
liées aux thèses
Rechercher des thèses
Rechercher des thèses
Désactiver l'aide à la saisie
Recherche Avancée
Recherche Avancée
David
Braun
IdRef
Mots clés
FR
|
EN
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)
Liste des thèses par rôle
Auteur / Autrice de 1 thèse(s)