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