Institute for Reliable Computing
Head:
Prof. Dr. Siegfried M. Rump
VSDP is a software package for the computation of verified results in conic programming. It supports the constraint cone consisting of the product of semidefinite cones, second-order cones, and the nonnegative orthant. It provides functions for computing rigorous error bounds of the true optimal value, verified enclosures of epsilon-optimal solutions, and verified certificates of infeasibility. All rounding errors due to floating-point arithmetic are taken into account.
The software is completely written in MATLAB / GNU Octave and requires the interval toolbox INTLAB. Thus interval input is supported as well.
The latest version of VSDP provides easy access to the conic solvers:
The VSDP source files and the User's Guide can be downloaded from:
Detailed instructions on how to install VSDP are given in the User's Guide and on the website https://vsdp.github.io/.
For older versions of VSDP, see VSDP (Version 2012) and VSDP (Version 2006).
Please send a message to jansson@tuhh.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
Am Schwarzenberg-Campus 3
21073 Hamburg, Germany