Verification of Positive Definiteness
By Siegfried M. Rump. 2006
67 citations recorded by the source corpus.
Subfields: Computational Theory and Mathematics, Hardware and Architecture
View Paper: https://www.semanticscholar.org/paper/4d9cdfeaf4cc89411842aadc4fb691937edfca95
How researchers see this paper
The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.
In Computational Theory and Mathematics
In Hardware and Architecture
Citations in the corpus
- Verified bounds for singular values, in particular for the spectral norm of a matrix and its inverse (2011, methodology): “Applying this to a shifted matrix A−sI yields algorithm isspd (see [18]), which is now included in INTLAB, to prove positive definiteness of a matrix: if isspd(A) yields the result 1, it is proved that A is positive definite, if the result is 0, nothing can be said.”