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

2EBDHPE
 Referenced in 15 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...

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

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...

qpOASES
 Referenced in 76 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...

fenicsoptim
 Referenced in 2 articles
[sw41131]
 secondorder conic programming (SOCP) and semidefinite programming...

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

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

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

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

FFLASFFPACK
 Referenced in 26 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 1713 articles
[sw00503]
 LAPACK is written in Fortran 90 and provides...

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

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

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

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

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

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