Chapter 10, Computer Assited Proofs and Self-Validating Methods
Siegfried M. Rump
Figure 10.10
INTLAB slope expansion
Last modified: 6 August 2004