• fenics-optim

• Referenced in 2 articles [sw41131]
• user interface in FEniCS for solving convex optimization problems. In particular, it relies ... convex quadratic programming (QP), second-order conic programming (SOCP) and semi-definite programming...

• FDRC toolbox

• Referenced in 1 article [sw15241]
• some cases needs Semi-Definite Programming). For linear and quadratic optimization the well-known 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 matrix-optimization 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 high-level 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...