Analyser et encadrer les erreurs dues à l'arithmétique flottante - Inria - Institut national de recherche en sciences et technologies du numérique
Chapitre D'ouvrage Année : 2017

Analyser et encadrer les erreurs dues à l'arithmétique flottante

Claude-Pierre Jeannerod
  • Fonction : Auteur
  • PersonId : 855152
  • IdRef : 11107021X
Nathalie Revol

Résumé

L'arithmétique à virgule flottante est le moyen le plus couramment utilisé pour calculer avec des (approximations des) réels sur ordinateur. Si cette arithmétique est par nature inexacte, la norme IEEE 754 qui la régit définit un cadre strict dans lequel il est possible d'analyser et prédire de façon tout à fait rigoureuse le comportement de nombreux algorithmes numériques de base. Dans ce cours, nous illustrerons ce principe à l'aide de résultats obtenus très récemment, qui revisitent une partie de l'analyse numérique classique. Nous verrons aussi comment majorer de façon automatique les erreurs dues à l'arithmétique flottante et présenterons quelques résultats expérimentaux : l'approche présentée utilise l'arithmétique par intervalles. Comme l'arithmétique par intervalles est implantée en utilisant l'arithmétique flottante, nous détaillerons comment l'implantation tient compte des erreurs qui se produisent dans ses calculs internes.
Fichier principal
Vignette du fichier
cours.pdf (306.85 Ko) Télécharger le fichier
Origine Fichiers éditeurs autorisés sur une archive ouverte
Loading...

Dates et versions

hal-01658296 , version 1 (07-12-2017)

Identifiants

  • HAL Id : hal-01658296 , version 1

Citer

Claude-Pierre Jeannerod, Nathalie Revol. Analyser et encadrer les erreurs dues à l'arithmétique flottante. Informatique mathématique : une photographie en 2017, CNRS Editions, pp.115-144, 2017, 978-2-271-11523-2. ⟨hal-01658296⟩
282 Consultations
1098 Téléchargements

Partager

More