Verification of positive definiteness

BIT Numerical Mathematics

Volumn 46, Issue 2, 2006, Pages 433-452

  Rump, S M ^a,b  

^a HAMBURG UNIVERSITY OF TECHNOLOGY   (Germany)

^b WASEDA UNIVERSITY   (Japan)

Author keywords

Cholesky decomposition; INTLAB; Positive definite; Rigorous error bounds; Self validating methods; Semidefinite programming; Verification

Indexed keywords

EID: 33745298703     PISSN: 00063835     EISSN: None     Source Type: Journal    
DOI: 10.1007/s10543-006-0056-1     Document Type: Article

References (14)

1. R. P. Brent, C. Percival, and P. Zimmermann, Error Bounds on complex floating-point multiplication, to appear in Math. Comput.
2. L. Collatz, Einschließungssatz für die charakteristischen Zahlen von Matrizen, Math. Z., 48 (1942), pp. 221-226.
3. J. W. Demmel, On floating point errors in Choleshy, LAPACK Working Note 14 CS-89-87, Department of Computer Science, University of Tennessee, Knoxville, TN, USA, 1989.
4. I. S. Duff, R. G. Grimes, and 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.
5. C. A. Floudas, Deterministic Global Optimization - Theory, Methods and Applications, Nonconvex Optimization and Its Applications, vol. 37, Kluwer Academic Publishers, Dordrecht, Boston, London, 2000.
6. N. J. Higham, Accuracy and Stability of Numerical Algorithms, 2nd edn, SIAM Publications, Philadelphia, 2002.
7. R. A. Horn and C. Johnson, Matrix Analysis, Cambridge University Press, Cambridge, 1985.
8. MATLAB User's Guide, Version 7. The Math Works Inc., 2004.
9. J. Rohn, Checking robust stability of symmetric interval matrices is NP-hard, Commentat. Math. Univ. Carol., 35 (1994), p. 795-797.
10. S. M. Rump, Verification methods for dense and sparse systems of equations, in Topics in Validated Computations - Studies in Computational Mathematics, J. Herzberger, ed., p. 63-136, Elsevier, Amsterdam, 1994.
11. S. M. Rump, INTLAB - INTerval LABoratory, in Developments in Reliable Computing, Tibor Csendes, ed., p. 77-104, Kluwer Academic Publishers, Dordrecht, 1999.
12. H. Rutishauser, Vorlesungen über numerische Mathematik. Band 1: Gleichungssysteme, Interpolation und Approximation. Band Z: Differentialgleichungen und Eigenwertprobleme, Mathematische Reihe, vol. 50/57, Birkhäuser, Basel-Stuttgart, 1976.
13. English: Lectures on Numerical Analysis, Birkhäuser, Boston, 1990.
14. R. S. Varga, Matrix Iterative Analysis, Prentice-Hall, Englewood Cliffs, N.J., 1962.