Institute for Reliable Computing
Head: Prof. Dr. Siegfried M. Rump

Caution: This is an older version of VSDP! The actual version can be found here.

VSDP: Verified SemiDefinite Programming

Version 2006

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:

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 jansson@tu-harburg.de if you have any problems with VSDP, or comments, or want to inform about bugs. Thank you!


Priv.-Doz. Dr. Christian Jansson
Institute for Reliable Computing
Hamburg University of Technology
Schwarzenbergstr. 95