
BARON
 Referenced in 361 articles
[sw00066]
 BARON is a computational system for solving nonconvex...

GAP
 Referenced in 3221 articles
[sw00320]
 GAP is a system for computational discrete algebra...

GLOPT
 Referenced in 19 articles
[sw00359]
 GLOPT is a Fortran 77 program for global...

Macaulay2
 Referenced in 1958 articles
[sw00537]
 Macaulay2 is a software system devoted to supporting...

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

Maple
 Referenced in 5403 articles
[sw00545]
 The result of over 30 years of cutting...

Mathematica
 Referenced in 6445 articles
[sw00554]
 Almost any workflow involves computing results, and that...

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

SCIP
 Referenced in 554 articles
[sw01091]
 SCIP is currently one of the fastest non...

LOOPS
 Referenced in 7 articles
[sw01456]
 Concepts of a learning objectoriented problem solver...

SNOPT
 Referenced in 556 articles
[sw02300]
 SNOPT: An SQP algorithm for largescale constrained...

CONOPT
 Referenced in 171 articles
[sw02791]
 CONOPT is a generalized reducedgradient (GRG) algorithm...

TetGen
 Referenced in 185 articles
[sw04046]
 TetGen, a DelaunayBased Quality Tetrahedral Mesh Generator...

ABAQUS
 Referenced in 1616 articles
[sw04215]
 The Abaqus Unified FEA product suite offers powerful...

INTOPT_90
 Referenced in 306 articles
[sw04705]
 Rigorous global search: continuous problems The monograph gives...

XPRESS
 Referenced in 235 articles
[sw04834]
 FICO Xpress is the premier mathematical modeling and...

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

LogMIP
 Referenced in 23 articles
[sw05035]
 LogMIP 2.0 is a program for solving linear...

GloMIQO
 Referenced in 82 articles
[sw06266]
 Globally optimizing mixedinteger quadraticallyconstrained quadratic programs...

CGS
 Referenced in 329 articles
[sw08225]
 CGS, a fast Lanczostype solver for nonsymmetric...