Verified Error Bounds for Linear Systems Through the Lanczos Process

Reliable Computing

Volumn 5, Issue 3, 1999, Pages 255-267

  Frommer, Andreas ^a   Weinberg, Andre ^a  

^a UNIVERSITY OF WUPPERTAL   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0013419699     PISSN: 13853139     EISSN: None     Source Type: Journal    
DOI: 10.1023/A:1009976221447     Document Type: Article

References (14)

1. Alefeld, G. and Herzberger, J.: Introduction to Interval Computations, Academic Press, 1983.
2. Alefeld, G. and Mayer, G.: The Cholesky Method for Interval Data, Linear Algebra Appl. 194 (1993), pp. 161-182.
3. Barth, W. and Nuding, E.: Optimale Lösung von Intervallgleichungssystemen, Computing 12 (1974), pp. 117-125.
4. Frommer, A.: Lösung linearer Gleichungssysteme auf Parallelrechnern, Vieweg-Verlag, 1990.
5. Frommer, A. and Maass, P.: Fast CG-Based Methods for Thikonov-Phillips Regularization, SIAM J. Sc. Comp., to appear, also available at http://www.math.uni-wuppertal.de/SciComp/Preprints.html as preprint BUGHW-SC 96/10.
6. Golub, G. and Meurant, G.: Matrices, Moments and Quadrature, in: Numerical Analysis 1993 (Dundee 1993) (Pitman Res. Notes Math. Ser. 302), Longman Sci. Tech., Harlow, 1994.
7. Golub, G. and Meurant, G.: Matrices, Moments and Quadrature II. How to Compute the Error in Iterative Methods, BIT 37 (1997), pp. 687-705.
8. Hansen, P.: Regularization Tool, a MATLAB Package for the Analysis and Solution of Discrete Ill-Posed Problems; Version 2.0 for MATLAB 4.0, Tech.Rep. UNIC, 92-03, 1993.
9. Klatte, R., Kulisch, U., Neaga, M., Ratz, D., and Ullrich, Ch.: PASCAL-XSC Sprachbeschreibung mit Beispielen, Springer-Verlag, 1991.
10. Kulisch, U. and Miranker, W.: The Arithmetic of the Digital Computer, SIAM Rev. 28 (1986).
11. Matrix Market, http: //math.nist.gov/MatrixMarket/.
12. Neumaier, A.: Interval Methods for Linear Systems of Equations, Cambridge University Press, 1990.
13. Rump, S.: Verification Methods for Dense and Sparse Systems of Equations, in: Herzberger, J. (ed.), Topics in Validated Computations, North-Holland, 1993.
14. Saad, Y.: Iterative Methods for Sparse Linear Systems, PWS, Boston, 1996.