Le moteur de recherche
des thèses françaises
Assia Mahboubi
IdRefMots clés
FR |
EN
Coq (logiciel)
Coq
Théorie des types
Preuve formelle
Assistants de preuve
Méthodes formelles (informatique)
Calculs numériques
Formalisation des mathématiques
Nombres algébriques
Formalisation
Théorie de la démonstration
Calcul numérique
Intégrales
Multiplication de matrices
Matrices
Assistants à la Preuve
Grammaires formelles
Calcul formel
Décomposition (méthode mathématique)
Tables de décision