
NOMAD
 Referenced in 108 articles
[sw02916]
 Algorithm 909: NOMAD: Nonlinear Optimization with the MADS...

BLAST
 Referenced in 129 articles
[sw02937]
 BLAST (Berkeley Lazy Abstraction Software verification Tool) is...

ELECTRE
 Referenced in 130 articles
[sw02971]
 Electre Methods. Over the last three decades a...

DIRECT
 Referenced in 66 articles
[sw03054]
 Design and implementation of a massively parallel version...

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

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

MPFR
 Referenced in 232 articles
[sw03312]
 The MPFR library is a C library for...

STAN
 Referenced in 38 articles
[sw03348]
 STAN is a domainindependent planner developed within...

SPIN
 Referenced in 727 articles
[sw03455]
 Spin is a popular opensource software tool...

Haskell
 Referenced in 884 articles
[sw03521]
 Haskell is a standardized, generalpurpose purely functional...

Silhouettes
 Referenced in 215 articles
[sw03705]
 Silhouettes: a graphical aid to the interpretation and...

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

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

INTLAB
 Referenced in 472 articles
[sw04004]
 INTLAB is the Matlab toolbox for reliable computing...

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

Zimpl
 Referenced in 34 articles
[sw04064]
 ZIMPL: Zuse Institut Mathematical Programming Language. Zimpl is...

SteinLib
 Referenced in 113 articles
[sw04066]
 The aim of this library is to collect...

MIPLIB
 Referenced in 329 articles
[sw04067]
 A mixed integer (linear) program (mip) is an...

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