
BARON
 Referenced in 316 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 360 articles
[sw00118]
 The goal of the CGAL Open Source Project...

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

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

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

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

Matlab
 Referenced in 12309 articles
[sw00558]
 MATLAB® is a highlevel language and interactive...

R
 Referenced in 8601 articles
[sw00771]
 R is a language and environment for statistical...

Sostools
 Referenced in 273 articles
[sw00891]
 We are pleased to introduce SOSTOOLS, a free...

SPG
 Referenced in 70 articles
[sw00897]
 Algorithm 813: SPG  software for convexconstrained optimization...

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

LBFGS
 Referenced in 735 articles
[sw03229]
 Algorithm 778: LBFGSB Fortran subroutines for...

SDPA
 Referenced in 173 articles
[sw03275]
 SDPA (SemiDefinite Programming Algorithm)” is one of the...

AMPL
 Referenced in 590 articles
[sw04001]
 AMPL is a comprehensive and powerful algebraic modeling...

SeDuMi
 Referenced in 1191 articles
[sw04002]
 SeDuMi is a Matlab toolbox for solving optimization...

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

Gurobi
 Referenced in 530 articles
[sw04105]
 GUROBI OPTIMIZER: State of the Art Mathematical Programming...

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

LINDO
 Referenced in 539 articles
[sw04448]
 LINDO Systems  Optimization Software: Integer Programming, Linear Programming...