Chapter 10, Computer Assisted Proofs and Self-Validating Methods
Siegfried M. Rump
Figure 10.29 Approximation of eigenvalues of the matrix in Table 10.14 computed by MATLAB
Figure 10.29 Approximation of eigenvalues of the matrix in Table 10.14 computed by MATLAB
