
fenicsoptim
 Referenced in 2 articles
[sw41131]
 user interface in FEniCS for solving convex optimization problems. In particular, it relies ... convex quadratic programming (QP), secondorder conic programming (SOCP) and semidefinite programming...

FDRC toolbox
 Referenced in 1 article
[sw15241]
 some cases needs SemiDefinite Programming). For linear and quadratic optimization the wellknown linprog ... commands of the Optimization Toolbox of MATLAB are used. While convex optimization problems are formulated...

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

complib
 Referenced in 35 articles
[sw00149]
 COMPlib: COnstraint matrixoptimization problem library–a collection...

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

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

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

RAGlib
 Referenced in 66 articles
[sw00774]
 A library for real solving polynomial systems of...

SDPLIB
 Referenced in 67 articles
[sw00838]
 SDPLIB 1. 2, a library of semidefinite programming...

Sdpsol
 Referenced in 18 articles
[sw00840]
 SDPSOL is a parser/solver for determinant maximization (MAXDET...

Sostools
 Referenced in 293 articles
[sw00891]
 We are pleased to introduce SOSTOOLS, a free...

SCIP
 Referenced in 554 articles
[sw01091]
 SCIP is currently one of the fastest non...