Assia Mahboubi
IdRefMots clés
FR |
EN
Coq
Coq (logiciel)
Théorie des types
Assistants de preuve
Méthodes formelles (informatique)
Calculs numériques
Preuve formelle
Théorie de la démonstration
Formalisation des mathématiques
Nombres algébriques
Formalisation
Calcul numérique
Intégrales
Multiplication de matrices
Matrices
Assistant de preuve
Insignifiance des preuves
Univers
Uip
Décidabilité (logique mathématique)