VSDP: Verified SemiDefinite Programming

Christian Jansson

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. This package supports interval input data and sparse format.
VSDP is completely written in MATLAB and requires version 7.0 or higher. VSDP uses the MATLAB-toolbox INTLAB, (INTerval LABoratory), version 5.3, and the semidefinite solver SDPT3, version 3.02. Additionally, the semidefinite solver SDPA can be used.
The VSDP source files and the User's Guide can be downloaded from:

• VSDP source code for Unix
• VSDP source code for Windows
• VSDP User's Guide, Version 0.1

After installing the necessary files, we recommend you to add the path for VSDP to the MATLAB search path. The installation was successful, if the VSDP routine demovsdp runs through. VSDP can also be used under YALMIP, a toolbox for modelling and optimization in MATLAB.
Please send a message to janssontu-harburg.de if you have any problems with VSDP, or comments, or want to inform about bugs. Thank you!