• 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 matrix-optimization 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 large-scale 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 high-level language and interactive...
  • NAG

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