Pourquoi mon ordinateur calcule-t-il faux ?

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 en preuve de programmes et arithmétique des ordinateurs, nous apporte quelques éléments de réponse...

Nos ordinateurs font eux aussi des erreurs de calcul et cela peut compromettre des programmes ! Dans ce quatrième épisode du podcast audio, Sylvie Boldo répond aux questions de Joanna Jongwane, pour nous expliquer ce que sont les calculs en nombres flottants et faire le point sur les méthodes développées pour pallier les erreurs de calcul.

Pour aller plus loin, consultez les documents
Comment un ordinateur calcule-t-il ?
Le « dilemme du fabricant de tables » ou comment calculer juste
MPFR : vers un calcul flottant correct ?
et Des arithmétiques pour la géométrie .

Écoutez l'interview en MP3 (durée : 9 min 41 s).

Pour l'écouter sur votre baladeur, téléchargez le fichier ou abonnez-vous au podcast d'Interstices.