Chapter 10, Computer Assisted Proofs and Self-Validating Methods

Siegfried M. Rump

Figure 10.28 Nonzero elements of the matrix from Harwell/Boeing BCSSTK15