Assia Mahboubi
IdRefMots clés
FR |
EN
Coq (logiciel)
Coq
Théorie des types
Assistants de preuve
Méthodes formelles (informatique)
Preuve formelle
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
Grammaires formelles
Calcul formel
Décomposition (méthode mathématique)
Tables de décision
Logique algébrique