×

VSDP

swMATH ID: 4003
Software Authors: Härter, V.; Jansson, C.; Lange, M.
Description: VSDP is a software package that is designed for the computation of verified results in conic programming. The current version of VSDP 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 ε-optimal solutions, and verified certificates of infeasibility. All rounding errors due to floating point arithmetic are taken into account. VSDP is completely written in MATLAB. It uses INTLAB, and thus interval input data are supported as well. Via its interface, VSDP provides an easy access to the conic solvers CSDP, SeDuMi, SDPA, SDPT3, as well as LPSOLVE and MATLAB’s LINPROG.
Homepage: http://www.ti3.tu-harburg.de/jansson/vsdp/
Dependencies: Matlab
Related Software: Mosek; YALMIP; SeDuMi; SDPT3; SDPA; CSDP; INTLAB; Matlab; SDPLIB; GloptiPoly; CalCS; dReal; SPOTless; frlib; DIMACS; CPLEX; NETLIB LP Test Set; Why3; Cubicle; Alt-Ergo
Cited in: 13 Documents
all top 5

Cited by 22 Authors

3 Goluskin, David
2 Claeys, Mathieu
2 Henrion, Didier
2 Messine, Frédéric
2 Roux, Pierre
1 Conchon, Sylvain
1 Daafouz, Jamal
1 Fantuzzi, Giovanni
1 Friberg, Henrik A.
1 Glineur, François
1 Hendrickx, Julien M.
1 Iguernlala, Mohamed
1 Jansson, Christian
1 Lee, Gue Myung
1 Lee, Jae Hyoung
1 Parker, Jeremy P.
1 Rump, Siegfried Michael
1 Sager, Sebastian
1 Sankaranarayanan, Sriram
1 Taylor, Adrien B.
1 Vasil, Geoffrey M.
1 Voronin, Yuen-Lam
all top 5

Cited in 10 Serials

2 Journal of Global Optimization
2 Mathematical Programming. Series A. Series B
1 Nonlinearity
1 Automatica
1 Japan Journal of Industrial and Applied Mathematics
1 Journal of Nonlinear Science
1 Formal Methods in System Design
1 Chaos
1 Acta Numerica
1 Mathematical Programming Computation
all top 5

Cited in 9 Fields

12 Operations research, mathematical programming (90-XX)
4 Computer science (68-XX)
2 Calculus of variations and optimal control; optimization (49-XX)
2 Numerical analysis (65-XX)
1 Mathematical logic and foundations (03-XX)
1 Real functions (26-XX)
1 Partial differential equations (35-XX)
1 Dynamical systems and ergodic theory (37-XX)
1 Systems theory; control (93-XX)

Citations by Year