Contributions à la vérification formelle d'algorithmes arithmétiques

Contributions à la vérification formelle d'algorithmes arithmétiques

Show other versions (1)

L'implantation en Virgule Flottante (VF) d'une fonction à valeurs réelles est réalisée avec arrondi correct si le résultat calculé est toujours égal à l'arrondi de la valeur exacte, ce qui présente de nombreux avantages. Mais pour implanter une fonction avec arrondi correct de manière...

Full description

Bibliographic Details
Main Author: Martin-Dorel, Erik
Language:ENG
Published: Ecole normale supérieure de lyon - ENS LYON 2012
Subjects:
[INFO:INFO_OH] Computer Science/Other
Arithmétique à virgule flottante
Standard IEEE 754
Arrondi correct
Dilemme du fabricant de tables
Algorithme SLZ
Technique de Coppersmith
Preuves formelles Coq
SSReflect
Lemme de Hensel
Certificats
Racines entières
Approximation polynomiale rigoureuse
Modèles de Taylor
Arithmétique par intervalles
Reste de Taylor-Lagrange
Fonctions D-finies
Racine carrée
Norme 2D
Midpoints
TwoMultFMA
Fast2Sum
TwoSum
Double-arrondi
Bibliothèque Flocq
Online Access:http://tel.archives-ouvertes.fr/tel-00745553
http://tel.archives-ouvertes.fr/docs/00/74/55/53/PDF/MARTIN_DOREL_Erik_2012_these.pdf

Internet

http://tel.archives-ouvertes.fr/tel-00745553
http://tel.archives-ouvertes.fr/docs/00/74/55/53/PDF/MARTIN_DOREL_Erik_2012_these.pdf

Similar Items