• SCIP

  • Referenced in 459 articles [sw01091]
  • nonlinear programming (MINLP). It is also a framework for constraint integer programming and branch-cut...
  • LINDOGlobal

  • Referenced in 47 articles [sw06196]
  • Global employs branch-and-cut methods to break an nonlinearly constrained optimization problem model down...
  • FilMINT

  • Referenced in 44 articles [sw06197]
  • solver for convex mixed-integer nonlinear programs (MINLPs) that implements a linearization-based algorithm ... branch-and-cut framework for MILP with filterSQP to solve the nonlinear programs that arise ... MINTO framework allows us to easily employ cutting planes, primal heuristics, and other well-known...
  • LIMDEP

  • Referenced in 75 articles [sw04925]
  • estimation and analysis of linear and nonlinear models, with cross section, time series and panel ... provided many recent innovations including cutting edge techniques in panel data analysis, frontier and efficiency ... single and multiple equation linear and nonlinear models. LIMDEP is a true state...
  • SpeeDP

  • Referenced in 4 articles [sw07003]
  • cut problems) that can be formulated as the non-convex nonlinear programming problem of minimizing ... extended set of instances of the max-cut problem. We further include SpeeDP within...
  • Muriqui

  • Referenced in 1 article [sw32925]
  • solver of convex Mixed Integer Nonlinear Programming (MINLP) problems. Moreover, Muriqui can be applied ... Branch-And-Bound; Extended Cutting Plane; Extended Supporting Hyperplane; Nonlinear Branch-And-Bound; Hybrid Outer...
  • Pajarito

  • Referenced in 1 article [sw33900]
  • mixed-integer nonlinear programming (convex MINLP) solver. As Pavito relies on gradient cuts...
  • SHOT

  • Referenced in 8 articles [sw15630]
  • feasible set defined by linear and nonlinear constraints. A sequence of linear or quadratic integer ... each iteration. Compared to the extended cutting plane algorithm ESH generates a tighter overestimated...
  • SBML2Julia

  • Referenced in 1 article [sw36528]
  • SBML2Julia: interfacing SBML with efficient nonlinear Julia modelling and solution tools for parameter optimization. Motivation ... instance, we have recently used Julia to cut down the optimization time of a microbial ... systems biology community to the efficient nonlinear solvers used for this optimisation, we developed SBML2Julia...
  • NATS

  • Referenced in 1 article [sw04297]
  • structures, namely, form finding, stress analysis and cutting pattern generation, are addressed, and numerical approaches ... newly developed finite element program package NATS (Nonlinear Analysis of Tension Structures...
  • TRIOPT

  • Referenced in 6 articles [sw02486]
  • into the zero one interval by a nonlinear transformation function and their aggregate entropy ... policy which is based on an entropy cut. The tree adopts flexible breadth depending...
  • ALIBABA

  • Referenced in 1 article [sw00028]
  • stable optimization algorithm specially suited for nonlinear structural optimization problems. The original problem is approximated ... step line search algorithm and/or the cutting plane method. Secondly, a simple algorithm for optimization ... algorithms are included in the ALIBABA nonlinear optimization package which is used by the OASIS...
  • QuSpin

  • Referenced in 1 article [sw23897]
  • Hubbard model in a ladder geometry, (v) nonlinear (imaginary) time evolution and the Gross-Pitaevskii ... serve various purposes, including educational and cutting-edge experimental and theoretical research...
  • Alpine.jl

  • Referenced in 1 article [sw34677]
  • strengthen piecewise convex relaxations for mixed-integer nonlinear programs (MINLP) with multi-linear terms ... partitioning. We further apply polyhedral cutting plane methods to handle convex relaxations of higher-order...
  • ADOL-C

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

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

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

  • Referenced in 355 articles [sw00118]
  • The goal of the CGAL Open Source Project...
  • CoCoA

  • Referenced in 621 articles [sw00143]
  • CoCoA is a system for Computations in Commutative...
  • Coq

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