• SHOT

  • Referenced in 11 articles [sw15630]
  • initial overestimated set has been obtained the algorithm solves a sequence of mixed-integer linear ... each iteration. Compared to the extended cutting plane algorithm ESH generates a tighter overestimated...
  • AlphaECP

  • Referenced in 45 articles [sw04940]
  • Linear Programming) solver based on the extended cutting plane (ECP) method. The solver ... extension of Kelley’s cutting plane method which was originally given for convex NLP problems ... intermediate iterations. This makes the ECP algorithm efficient and easy to implement. Futher information about...
  • Muriqui

  • Referenced in 1 article [sw32925]
  • algorithms from Literature, such as: Outer Approximation; LP/NLP based Branch-And-Bound; Extended Cutting Plane...
  • BARON

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

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

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

  • Referenced in 1818 articles [sw00161]
  • Coq is a formal proof management system. It...
  • 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...
  • Isabelle

  • Referenced in 617 articles [sw00454]
  • Isabelle is a generic proof assistant. It allows...
  • LAPACK

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

  • Referenced in 261 articles [sw00509]
  • In the core computer science areas -- data structures...
  • Macaulay2

  • Referenced in 1721 articles [sw00537]
  • Macaulay2 is a software system devoted to supporting...
  • 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...
  • MiniSat

  • Referenced in 541 articles [sw00577]
  • An extensible SAT-solver. MiniSat is a minimalistic...
  • nauty

  • Referenced in 571 articles [sw00611]
  • graph-theoretic program NAUTY: nauty is a program...
  • PARDISO

  • Referenced in 272 articles [sw00679]
  • The package PARDISO is a thread-safe, high...