Verification of Positive Definiteness
- 3 May 2006
- journal article
- research article
- Published by Springer Science and Business Media LLC in BIT Numerical Mathematics
- Vol. 46 (2), 433-452
- https://doi.org/10.1007/s10543-006-0056-1
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Error bounds on complex floating-point multiplicationMathematics of Computation, 2007
- Accuracy and Stability of Numerical AlgorithmsPublished by Society for Industrial & Applied Mathematics (SIAM) ,2002
- Deterministic Global OptimizationNonconvex Optimization and Its Applications, 2000
- INTLAB — INTerval LABoratoryPublished by Springer Science and Business Media LLC ,1999
- Developments in Reliable ComputingPublished by Springer Science and Business Media LLC ,1999
- Matrix AnalysisPublished by Cambridge University Press (CUP) ,1985