• CORSAR

  • Referenced in 2 articles [sw11695]
  • Control of resource-intensive computations under uncertainty. II. Scheduling complex. The CORSAR model software complex ... heterogeneous specialized computing system. The developed multiparametric model control scheme is invariant to types...
  • BARON

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

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

  • Referenced in 4956 articles [sw00545]
  • The result of over 30 years of cutting...
  • MiniSat

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

  • Referenced in 1330 articles [sw00866]
  • SINGULAR is a Computer Algebra system (CAS) for...
  • CPLEX

  • Referenced in 2507 articles [sw04082]
  • IBM® ILOG® CPLEX® offers C, C++, Java, .NET...
  • Gurobi

  • Referenced in 464 articles [sw04105]
  • GUROBI OPTIMIZER: State of the Art Mathematical Programming...
  • Couenne

  • Referenced in 62 articles [sw04347]
  • Branching and bounds tightening techniques for non-connvex...
  • Qhull

  • Referenced in 283 articles [sw04419]
  • The convex hull of a point set P...
  • Lparse

  • Referenced in 41 articles [sw04633]
  • Lparse Smodels works with variable-free programs that...
  • MPT

  • Referenced in 209 articles [sw04732]
  • The Multi-Parametric Toolbox (MPT) is a free...
  • XPRESS

  • Referenced in 216 articles [sw04834]
  • FICO Xpress is the premier mathematical modeling and...
  • GAMS

  • Referenced in 828 articles [sw04978]
  • The General Algebraic Modeling System (GAMS) is specifically...
  • qpOASES

  • Referenced in 62 articles [sw05107]
  • qpOASES – Online Active Set Strategy. qpOASES is an...
  • HYSDEL

  • Referenced in 37 articles [sw05200]
  • HYSDEL allows modeling a class of hybrid systems...
  • OSL

  • Referenced in 104 articles [sw09295]
  • Implementing interior point linear programming methods in the...