Le moteur de recherche
des thèses françaises
Florent Hivert
IdRefMots clés
FR |
EN
Combinatoire algébrique
Permutations (mathématiques)
Théorèmes -- Démonstration automatique
Algorithmes parallèles
Groupes de permutations
Hopf, Algèbres de
Algorithmes
Logiciels -- Vérification
Arithmétique en virgule flottante
Compilation (informatique)
Polytopes convexes
Sureté des programmes
Vérification de programmes
Démonstrateur automatique
Encodage
Vérification deductive
Modèle mémoire
Automatisation
Polymorphisme
Structure de donnée