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

BPMPD
 Referenced in 40 articles
[sw00088]
 BPMPD is a stateoftheart implementation...

Isabelle
 Referenced in 611 articles
[sw00454]
 Isabelle is a generic proof assistant. It allows...

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

SIMSCRIPT
 Referenced in 30 articles
[sw01081]
 SIMSCRIPT. A simulation programming language. SIMSCRIPT is a...

MSLiP
 Referenced in 109 articles
[sw01410]
 MSLiP: A computer code for the multistage stochastic...

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

BLAS
 Referenced in 485 articles
[sw03216]
 Lowlevel utilities common to many mathematical software...

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

SDPT3
 Referenced in 630 articles
[sw04009]
 This software is designed to solve conic programming...

UCIml
 Referenced in 3100 articles
[sw04074]
 UC Irvine Machine Learning Repository. We currently maintain...

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

TOMLAB
 Referenced in 90 articles
[sw04214]
 TOMLAB is a general purpose development and modeling...

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

CVX
 Referenced in 720 articles
[sw04594]
 CVX is a modeling system for constructing and...

Genocop
 Referenced in 1081 articles
[sw04707]
 Genocop, by Zbigniew Michalewicz, is a genetic algorithm...

MINLP
 Referenced in 49 articles
[sw04800]
 MINLP World is a forum for discussion and...

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

MINOS
 Referenced in 442 articles
[sw05095]
 MINOS is a largescale optimization system, for...