Chapter 10, Computer Assisted Proofs and Self-Validating Methods

Siegfried M. Rump

Figure 10.3 Pocket calculators with 8 decimal digits, no exponent

Very big picture!