Chapter 10, Computer Assisted Proofs and Self-Validating Methods
Siegfried M. Rump
Figure 10.24
Inner and outer inclusion and true solution set for the example in Table 10.12
Last modified: 6 August 2004