Chapter 10, Computer Assisted Proofs and Self-Validating Methods
Siegfried M. Rump
Figure 10.7
Naive interval Gaussian elimination: growth of
rad
(U
ii
)
Last modified: 15 August 2004
