Théorème de Sterbenz

Théorème de Sterbenz énonce que pour deux entiers flottant proches, la soustraction machine est exacte. Il est nommé d'après Pat. H. Sterbenz qui publie une variante en 1974. Le théorème de Sterbenz s'applique à la norme IEEE 754, la norme la plus utilisé en a…