Chapter 10, Computer Assisted Proofs and Self-Validating Methods
Siegfried M. Rump
Figure 10.4
Point matrix times interval vector
Last modified: 6 August 2004