Claude Michel
Mots clés
FR |
EN
Programmation par contraintes
Arithmétique en virgule flottante
Nombres à virgule flottante
Vérification de programmes
Erreurs d'arrondi
Erreur d’arrondi
Analyse d’erreurs
Contraintes sur les erreurs
Optimisation
Optimisation mathématique
Heuristique
Arithmétique à virgule fixe
Précision numérique
Synthèse de code
Analyse statique
Génération de contraintes
Réseaux de neurones
Solveur SMT
Arithmétique en virgule fixe
Logiciels -- Exactitude