VSDP : a MATLAB software package for verified semidefinite programming

Publikationstyp
Journal Article
Date Issued
2006
Sprache
English
Author(s)
Jansson, Christian  
Institut
Zuverlässiges Rechnen E-19  
TORE-URI
http://hdl.handle.net/11420/8716
Journal
Nonlinear theory and its applications  
Volume
2006
Start Page
327
End Page
330
Citation
Nonlinear Theory and Its Applications (2006): 327-330 (2006)
Contribution to Conference
2006 International Symposium on Nonlinear Theory and its Applications, NOLTA'06  
Publisher
Institute of Electronics, Information and Communication Engineers
VSDP is a MATLAB software package for solving rigorously semidefinite programming problems. Functions for computing verified forward error bounds of the true optimal value and verified certificates of feasibility and infeasibility are provided. All rounding errors due to floating point arithmetic are taken into account.
DDC Class
004: Informatik
510: Mathematik