Andreas Frommer, Andre Weinberg. Verified Error Bounds for Linear Systems Through the Lanczos Process. In Tibor Csendes, editor, Developments in Reliable Computing, International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics, SCAN 1998, Szeged, Hungary, September 22-25, 1998. pages 255-267, Springer, 1998. [doi]