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