VSDP is a MATLAB software package for computing verified results of semidefinite programming problems. It expresses these problems in a notation closely related to the form given in textbooks and scientific papers. 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. Computational results are given, including results for the SDPLIB benchmark problems as well as several problems from the library of Electronic Structure Calculations. This package supports interval input data and sparse format.VSDP is completely written in MATLAB. VSDP uses the MATLAB-toolbox INTLAB, (INTerval LABoratory), and the semidefinite solver SDPT3. Additionally, the semidefinite solver SDPA can be used.
The VSDP source files and the User's Guide can be downloaded from:
VSDP can also be used under YALMIP, a toolbox for modelling and optimization in MATLAB.
Please send a message to firstname.lastname@example.org if you have any problems with VSDP, or comments, or want to inform about bugs. Thank you!
Institute for Reliable Computing
Hamburg University of Technology