Chapter 10, Computer Assisted Proofs and Self-Validating Methods

Siegfried M. Rump

Figure 10.26 Result of Monte Carlo approach for the example in Table 10.12