Skip to content

vsdp/vsdp-2020

Folders and files

NameName
Last commit message
Last commit date

Latest commit

0654721 · Jan 13, 2022
Jan 13, 2022
Jan 13, 2022
Jan 12, 2022
Mar 5, 2020
Jan 13, 2022
Mar 5, 2020
Jan 13, 2022
Jul 25, 2018
Jan 13, 2022
Jan 13, 2022
Mar 5, 2020
Mar 5, 2020
Mar 5, 2020

Repository files navigation

VSDP: Verified SemiDefinite-quadratic-linear Programming (Version 2020)

This is the latest version of VSDP.

VSDP is a software package that is designed 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.

This version of VSDP provides easy access to the conic solvers:

For more information, please visit https://vsdp.github.io/.

About

VSDP: Verified SemiDefinite Programming (Version 2020)

Resources

License

Stars

Watchers

Forks

Packages

No packages published

Languages