Jansson, ChristianChristianJansson2021-02-082021-02-082006Nonlinear Theory and Its Applications (2006): 327-330 (2006)http://hdl.handle.net/11420/8716VSDP 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.en2185-41062006327330Institute of Electronics, Information and Communication EngineersInformatikMathematikJournal ArticleOther