Verified Error Bounds for Linear Systems Through the Lanczos Process. - Andreas Frommer; Andre Weinberg (Reliab. Comput., 1999)