Chapter 10, Computer Assisted Proofs and Self-Validating Methods

Siegfried M. Rump

Figure 10.23 Inclusion as computed by verifylss for the example in Table 10.14

Previous picture List of Pictures Next picture


Last modified: 16 August 2004