Sylvie Boldo
IdRefMots clés
FR |
EN
Arithmétique en virgule flottante
Coq
Preuve formelle
Arithmétique à virgule flottante
Coq (logiciel)
Méthodes formelles (informatique)
Arithmétique des ordinateurs
Calcul formel
Algorithmes
Logiciels -- Vérification
Polynômes
Erreurs d'arrondi
Preuves formelles
Assistants de preuve
Arrondi correct
Fonctions D-finies
Arithmétique interne des ordinateurs
Analyse d'erreur
Automatisation
Assistant de preuve Coq