• Bonmin

  • Referenced in 185 articles [sw04766]
  • both fundamental building blocks, namely mixed integer linear programming and nonlinear programming, have seen considerable ... which branch-and-bound and polyhedral outer approximation are the two extreme cases, are proposed...
  • FilMINT

  • Referenced in 44 articles [sw06197]
  • FilMINT: an outer approximation-based solver for convex mixed-integer nonlinear programs. We describe ... integer nonlinear programs (MINLPs) that implements a linearization-based algorithm. The solver is based...
  • DICOPT

  • Referenced in 34 articles [sw04938]
  • reliability as linear, integer or non-linear programming modeling, these problems have a rich area ... based on the extensions of the outer-approximation algorithm for the equality relaxation strategy...
  • MISQPOA

  • Referenced in 1 article [sw07024]
  • guaranteed for convex programs. Outer approximation methods apply linear approximations at previous iterates to stabilize...
  • SHOT

  • Referenced in 8 articles [sw15630]
  • algorithm solves a sequence of mixed-integer linear programming or mixed-integer quadratic programming subproblems ... tighter overestimated set and unlike outer approximation the generation point for the supporting hyperplanes...
  • BARON

  • Referenced in 311 articles [sw00066]
  • BARON is a computational system for solving nonconvex...
  • C-XSC

  • Referenced in 107 articles [sw00181]
  • C-XSC. A programming environment for verified scientific...
  • EIGIFP

  • Referenced in 40 articles [sw00235]
  • eigifp is a MATLAB program for computing a...
  • GAP

  • Referenced in 2850 articles [sw00320]
  • GAP is a system for computational discrete algebra...
  • KNITRO

  • Referenced in 175 articles [sw00490]
  • KNITRO is a solver for nonlinear optimization. It...
  • LANCELOT

  • Referenced in 297 articles [sw00500]
  • LANCELOT. A Fortran package for large-scale nonlinear...
  • LAPACK

  • Referenced in 1626 articles [sw00503]
  • LAPACK is written in Fortran 90 and provides...
  • LSQR

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

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

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

  • Referenced in 5040 articles [sw00545]
  • The result of over 30 years of cutting...
  • MARCA

  • Referenced in 31 articles [sw00547]
  • MARCA: Markov chain analyzer, a software package for...
  • Mathematica

  • Referenced in 5883 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • Matlab

  • Referenced in 12074 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • NAG

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