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