
PENBMI
 Referenced in 44 articles
[sw05124]
 optimization problems with quadratic objective and bilinear matrix inequality constraints. It is aimed at small...

LMIRank
 Referenced in 34 articles
[sw04823]
 linear matrix inequality (LMI) problem is a well known type of convex feasibility problem that ... constraints together with an additional matrix rank constraint. Interest in rank constrained LMIs arises ... Examples include bilinear matrix inequality (BMI) problems, see [16] and [30], that are easily seen...

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

cdd
 Referenced in 112 articles
[sw00114]
 The program cdd+ (cdd, respectively) is a C...

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

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

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

FGb
 Referenced in 244 articles
[sw00286]
 FGb/Gb libraryGb is a program (191 420 lines...

GAP
 Referenced in 2948 articles
[sw00320]
 GAP is a system for computational discrete algebra...

gmp
 Referenced in 272 articles
[sw00363]
 GMP is a free library for arbitrary precision...

Gmsh
 Referenced in 627 articles
[sw00366]
 Gmsh is a 3D finite element grid generator...

KNITRO
 Referenced in 180 articles
[sw00490]
 KNITRO is a solver for nonlinear optimization. It...

LANCELOT
 Referenced in 302 articles
[sw00500]
 LANCELOT. A Fortran package for largescale nonlinear...

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

LSQR
 Referenced in 368 articles
[sw00530]
 Algorithm 583: LSQR: Sparse Linear Equations and Least...

Magma
 Referenced in 2986 articles
[sw00540]
 Computer algebra system (CAS). Magma is a large...

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

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

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

NAG
 Referenced in 419 articles
[sw00610]
 Produced by experts for use in a variety...