
complib
 Referenced in 30 articles
[sw00149]
 collection of test examples for nonlinear semidefinite programs, control system design and related problems...

2EBDHPE
 Referenced in 14 articles
[sw31879]
 solving twoeasyblock structured semidefinite programs. The paper deals with a new firstorder ... solve four broad classes of conic semidefinite programming, and numerical results illustrate its efficiency...

sdpt3r
 Referenced in 5 articles
[sw27792]
 Programming Solver. Solves the general SemiDefinite Linear Programming formulation using an R implementation...

VARFIT
 Referenced in 7 articles
[sw14637]
 that are licit and positive semidefinite. The program varfit is GSLIB compatible...

RealCertify
 Referenced in 4 articles
[sw28191]
 numerous problems coming from engineering sciences, program verification and cyberphysical systems. It is based ... hybrid symbolicnumeric algorithms based on semidefinite programming...

qpOASES
 Referenced in 66 articles
[sw05107]
 observations from the field of parametric quadratic programming. It has several theoretical features that make ... increase qpOASES’s reliability when solving semidefinite, illposed or degenerated convex...

FDRC toolbox
 Referenced in 1 article
[sw15241]
 quadratic programming (some cases needs SemiDefinite Programming). For linear and quadratic optimization the well...

BARON
 Referenced in 316 articles
[sw00066]
 BARON is a computational system for solving nonconvex...

Coq
 Referenced in 1807 articles
[sw00161]
 Coq is a formal proof management system. It...

CSDP
 Referenced in 200 articles
[sw00169]
 CSDP, A C Library for Semidefinite Programming. This...

FFLASFFPACK
 Referenced in 22 articles
[sw00283]
 FFPACK: finite field linear algebra package. The FFLAS...

GLOPT
 Referenced in 19 articles
[sw00359]
 GLOPT is a Fortran 77 program for global...

LAPACK
 Referenced in 1642 articles
[sw00503]
 LAPACK is written in Fortran 90 and provides...

MA57
 Referenced in 87 articles
[sw00536]
 MA57  a code for the solution of sparse...

Macaulay2
 Referenced in 1692 articles
[sw00537]
 Macaulay2 is a software system devoted to supporting...

Maple
 Referenced in 5124 articles
[sw00545]
 The result of over 30 years of cutting...

Mathematica
 Referenced in 5957 articles
[sw00554]
 Almost any workflow involves computing results, and that...

Matlab
 Referenced in 12309 articles
[sw00558]
 MATLAB® is a highlevel language and interactive...

QAPLIB
 Referenced in 221 articles
[sw00751]
 A collection of electronically available data instances for...

QEPCAD
 Referenced in 276 articles
[sw00752]
 QEPCAD B: A program for computing with semi...