Pourquoi mon ordinateur calcule-t-il faux ?

Sylvie Boldo (1) , Joanna Jongwane (2)

1 TOCCATA - Formally Verified Programs, Certified Tools and Numerical Computations
2 DCom - Direction de la communication

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.

Mots clés: norme IEEE 754; virgule flottante; double précision; calcul numérique; erreur; podcast

Domaines: Langage de programmation [cs.PL]

Sylvie Boldo, Joanna Jongwane. Pourquoi mon ordinateur calcule-t-il faux ?. Interstices, 2008. ⟨hal-01350419⟩