Sites Inria

Algorithmique, programmation, logiciels et architectures

14/04/2008

Pourquoi mon ordinateur calcule-t-il faux ?

© Inria / Photo C. Lebedinsky

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 ? Comment calculent nos ordinateurs ?

Sylvie Boldo, chercheuse de l'équipe Proval en preuve de programmes et arithmétique des ordinateurs, nous apporte quelques éléments de réponse...

Mots-clés : Proval Sylvie Boldo Saclay - Île-de-France Preuve de programme Calcul

Haut de page

Suivez Inria