Table des matières
Précision et arithmétique flottante : outils, bibliothèques
Intervenants :
- SteF Graillat, Laboratoire d'Informatique de Paris 6 (LIP6)
- Fabienne Jezequel, Laboratoire d'Informatique de Paris 6 (LIP6)
- Nathalie Revol, INRIA, ENS de Lyon, LIP
- Philippe Théveny, ENS Lyon, LIP
Pré-requis :
- Programmation en C
- Linux
Date : Mercredi 4 septembre 14h00-17h30
Salle: PC8
Matériels, logiciels :
- CADNA (http://www.lip6.fr/CADNA)
Bibliothèques utilisables sous linux
Important : Une machine virtuelle sera peut-être mise à disposition avec ces outils.
Résumé
Les calculs sur ordinateurs étant réalisés avec une précision finie, les résultats numériques doivent toujours être considérés comme des approximations des “vraies” valeurs.
Cet atelier sera l'occasion de montrer, d'utiliser des outils pour
- donner une mesure de la précision numérique (ou une estimation, un intervalle, …)
- améliorer cette précision
