Matthieu Martel
IdRefMots clés
FR |
EN
Arithmétique en virgule flottante
Erreurs d'arrondi
Arithmétique flottante
Arithmétique en virgule fixe
Précision numérique
Analyse statique
Logiciels -- Vérification
Optimisation mathématique
Arithmétique à virgule fixe
Langages de programmation
Informatique
Génération automatique de code
Qualité numérique certifiée
Automatisation
Certificats numériques
Erreur d'arrondi
Reproductibilité
Solveur SMT
Logiciels -- Exactitude
Solveurs (logiciels)