• Gurobi

  • Referenced in 533 articles [sw04105]
  • constrained programming solver (QCP), mixed-integer linear programming solver (MILP), mixed-integer quadratic ... programming solver (MIQP), and mixed-integer quadratically constrained programming solver (MIQCP). The solvers...
  • ANTIGONE

  • Referenced in 90 articles [sw09241]
  • previously-proposed mixed-integer quadratically-constrained quadratic program and mixed-integer signomial optimization...
  • GloMIQO

  • Referenced in 72 articles [sw06266]
  • Globally optimizing mixed-integer quadratically-constrained quadratic programs. Major applications of mixed-integer...
  • CVX

  • Referenced in 734 articles [sw04594]
  • quadratic programs (LPs/QPs), second-order cone programs (SOCPs), and semidefinite programs (SDPs ... solve constrained norm minimization, entropy maximization, determinant maximization, and many other convex programs ... version 2.0, CVX also solves mixed integer disciplined convex programs (MIDCPs) as well, with...
  • NLPLIB

  • Referenced in 30 articles [sw03199]
  • quadratic programming, unconstrained and constrained nonlinear least squares, boxbounded global optimization, global mixed- integer...
  • IQCP/MIQCP

  • Referenced in 2 articles [sw27193]
  • integer and mixed-integer quadratic quadratically constrained programs. General mixed-integer quadratically...
  • Rcplex

  • Referenced in 4 articles [sw08167]
  • quadratic) mixed integer programs. Support for quadratically constrained programming is available. A working...
  • ADOL-C

  • Referenced in 242 articles [sw00019]
  • ADOL-C: Automatic Differentiation of C/C++. We present...
  • BARON

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

  • Referenced in 40 articles [sw00088]
  • BPMPD is a state-of-the-art implementation...
  • cdd

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

  • Referenced in 634 articles [sw00143]
  • CoCoA is a system for Computations in Commutative...
  • CSDP

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

  • Referenced in 19 articles [sw00359]
  • GLOPT is a Fortran 77 program for global...
  • HSL

  • Referenced in 274 articles [sw00418]
  • HSL (formerly the Harwell Subroutine Library) is a...
  • 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...
  • MA57

  • Referenced in 88 articles [sw00536]
  • MA57 - a code for the solution of sparse...