Le moteur de recherche
des thèses françaises
Assia Mahboubi
IdRefMots clés
FR |
EN
Coq (logiciel)
Théorie des types
Assistants de preuve
Coq
Preuve formelle
Assistant de preuve
Méthodes formelles (informatique)
Calculs numériques
Catégories (mathématiques)
Formalisation des mathématiques
Nombres algébriques
Formalisation
Théorie de la démonstration
Traduction de programme
ML (langage de programmation)
Calcul numérique
Intégrales
Multiplication de matrices
Matrices
Preuves formelles