Le moteur de recherche
des thèses françaises
Georges Gonthier
IdRefMots clés
FR |
EN
Preuves formelles
Coq (logiciel)
Mathématiques formelles
Algorithmes certifiés
Coq
Algèbre linéaire
Calculs efficaces vérifiés
Homologie
Formalisme (mathématiques)
Communication synchrone
Esterel (langage de programmation)
Ordonnancement (informatique)
Temps réel (informatique)
Compilation (informatique)
Parallélisme (informatique)
Polyèdres
Preuve Formelle
Algorithmique
Optimisation
Calcul