Super-fast validated solution of linear systems

Journal of Computational and Applied Mathematics

Volumn 199, Issue 2, 2007, Pages 199-206

  Rump, Siegfried M ^a,b   Ogita, Takeshi ^b  

^a HAMBURG UNIVERSITY OF TECHNOLOGY   (Germany)

^b WASEDA UNIVERSITY   (Japan)

Author keywords

INTLAB; Self validating methods; Sparse linear systems; Verified error bounds

Indexed keywords

SELF VALIDATING METHODS; SPARSE LINEAR SYSTEMS; VERIFIED ERROR BOUNDS;

ALGORITHMS; APPROXIMATION THEORY; COMPUTATION THEORY; MATRIX ALGEBRA; NUMERICAL ANALYSIS; PROBLEM SOLVING;

LINEAR SYSTEMS;

EID: 33749671866     PISSN: 03770427     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.cam.2005.07.038     Document Type: Article

References (12)

1. J.B. Demmel, On floating point errors in Cholesky, LAPACK Working Note 14 CS-89-87, Department of Computer Science, University of Tennessee, Knoxville, TN, USA, 1989.
2. I.S. Duff, R.G. Grimes, J.G. Lewis, User's guide for Harwell-Boeing sparse matrix test problems collection, Technical Report RAL-92-086, Computing and Information Systems Department, Rutherford Appleton Laboratory, Didcot, UK, 1992.
3. Higham N.J. Accuracy and Stability of Numerical Algorithms. second ed. (2002), SIAM Publications, Philadelphia
4. Li X., Demmel J., Bailey D., Henry G., Hida Y., Iskandar J., Kahan W., Kang S., Kapur A., Martin M., Thompson B., Tung T., and Yoo D. Design Implementation and testing of extended and mixed precision BLAS. ACM Trans. Math. Software 28 2 (2002) 152-205
5. Neumaier A. Interval methods for systems of equations, Encyclopedia of Mathematics and its Applications (1990), Cambridge University Press, Cambridge
6. Oishi S., and Rump S.M. Fast verification of solutions of matrix equations. Numer. Math. 90 4 (2002) 755-773
7. Ogita T., Oishi S., and Ushiro Y. Fast verification of solutions for sparse monotone matrix equations. Comput. Suppl. 15 (2001) 175-187
8. Ogita T., Oishi S., and Ushiro Y. Computation of sharp rigorous componentwise error bounds for the approximate solutions of systems of linear equations. Reliable Comput. 9 3 (2003) 229-239
9. Ogita T., Rump S.M., and Oishi S. Accurate sum and dot product. SIAM J. Sci. Comput. 26 6 (2005) 1955-1988
10. S.M. Rump, Kleine Fehlerschranken bei Matrixproblemen, Ph.D. Thesis, Universität Karlsruhe, 1980.
11. Rump S.M. INTLAB-INTerval LABoratory. In: Csendes T. (Ed). Developments in Reliable Computing (1999), Kluwer, Dordrecht 77-104. http://www.ti3.tu-harburg.de/english/index.html 〈http://www.ti3.tu-harburg.de/english/index.html〉
12. Wilkinson J.H. A priori error analysis of algebraic processes. Proceedings of International Congress in Mathematics (1968), Izdat Mir, Moscow 629-639