
CORSAR
 Referenced in 2 articles
[sw11695]
 Control of resourceintensive 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 SATsolver. 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 nonconnvex...

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

Lparse
 Referenced in 41 articles
[sw04633]
 Lparse Smodels works with variablefree programs that...

MPT
 Referenced in 209 articles
[sw04732]
 The MultiParametric 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...