Le moteur de recherche
des thèses françaises
Matthieu Martel
IdRefMots clés
FR |
EN
Arithmétique en virgule flottante
Erreurs d'arrondi
Arithmétique flottante
Analyse statique
Logiciels -- Vérification
Arithmétique en virgule fixe
Optimisation mathématique
Précision numérique
Arithmétique à virgule fixe
Apprentissage automatique
Langages de programmation
Informatique
Génération automatique de code
Qualité numérique certifiée
Automatisation
Certificats numériques
Erreur d'arrondi
Interprétation abstraite
Reproductibilité
Solveur SMT