Verified Error Bounds for Linear Systems Through the Lanczos Process

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]

Authors

Andreas Frommer

This author has not been identified. Look up 'Andreas Frommer' in Google

Andre Weinberg

This author has not been identified. Look up 'Andre Weinberg' in Google