
CARAT
 Referenced in 45 articles
[sw04293]
 CARAT is a computer package which handles enumeration...

FEniCS
 Referenced in 850 articles
[sw04314]
 The FEniCS Project is a collaborative project for...

Simulink
 Referenced in 820 articles
[sw04348]
 Simulink® is an environment for multidomain simulation and...

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

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

YALMIP
 Referenced in 1057 articles
[sw04595]
 YALMIP Yet another LMI parser. YALMIP is a...

Mosek
 Referenced in 500 articles
[sw04618]
 MOSEK is a tool for solving mathematical optimization...

SparseMatrix
 Referenced in 747 articles
[sw04629]
 The University of Florida Sparse Matrix Collection. We...

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

TRON
 Referenced in 116 articles
[sw04714]
 TRON is a trust region Newton method for...

MPT
 Referenced in 235 articles
[sw04732]
 The MultiParametric Toolbox (MPT) is a free...

SDPLR
 Referenced in 148 articles
[sw04745]
 SDPLR is an ANSI C package developed S...

NewtonLib
 Referenced in 310 articles
[sw04796]
 Numerical Mathematics  NewtonLib. Software repository for Peter Deuflhards...

Ipopt
 Referenced in 787 articles
[sw04808]
 Ipopt (Interior Point OPTimizer, pronounced eyepeaOpt...

mctoolbox
 Referenced in 1521 articles
[sw04827]
 The Matrix Computation Toolbox is a collection of...

KELLEY
 Referenced in 643 articles
[sw04829]
 Iterative methods for optimization This book gives an...

LIBSVM
 Referenced in 1200 articles
[sw04879]
 LIBSVM is a library for Support Vector Machines...

LLVM
 Referenced in 88 articles
[sw04892]
 The LLVM Project is a collection of modular...