Pourquoi mon ordinateur calcule-t-il faux ?

Sylvie Boldo 1 Joanna Jongwane 2
1 TOCCATA - Certified Programs, Certified Tools, Certified Floating-Point Computations
LRI - Laboratoire de Recherche en Informatique, UP11 - Université Paris-Sud - Paris 11, Inria Saclay - Ile de France, CNRS - Centre National de la Recherche Scientifique : UMR8623
Résumé : Réaliser des calculs complexes est devenu chose facile avec nos ordinateurs, mais doit-on aveuglément faire confiance aux résultats obtenus par nos machines ? Sylvie Boldo nous apporte quelques éléments de réponse.
Liste complète des métadonnées

https://hal.inria.fr/hal-01350419
Contributeur : Inria Interstices <>
Soumis le : vendredi 29 juillet 2016 - 17:46:50
Dernière modification le : jeudi 5 avril 2018 - 12:30:22

Identifiants

  • HAL Id : hal-01350419, version 1

Collections

Citation

Sylvie Boldo, Joanna Jongwane. Pourquoi mon ordinateur calcule-t-il faux ?. Interstices, INRIA, 2008, 〈https://interstices.info/jcms/c_36153/pourquoi-mon-ordinateur-calcule-t-il-faux〉. 〈hal-01350419〉

Partager

Métriques

Consultations de la notice

240