Les leçons d’un algorithme délinquant

Jean-Michel Muller (1)

1 ARENAIRE - Computer arithmetic

Pour le sens commun, la machine ne se trompe jamais. Si par malheur un utilisateur pointilleux découvre une erreur dans son calcul sur ordinateur, qui doit-il alors accuser ? Lui, ou la machine ?

Mots clés: bug; Pentium; implémentation d'algorithmes; preuve formelle; erreur

Domaines: Langage de programmation [cs.PL]; Mathématiques [math]

Jean-Michel Muller. Les leçons d’un algorithme délinquant. Interstices, 2004. ⟨hal-01350243⟩