Algorithmique, programmation, logiciels et architectures
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 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
Inria
Inria.fr
Inria Channel
Podcast
En savoir plus
Contact