
AUTO
 Referenced in 885 articles
[sw01059]
 AUTO is a software for continuation and bifurcation...

ALBERTA
 Referenced in 170 articles
[sw01061]
 ALBERTA is an Adaptive multiLevel finite element toolbox...

ADINA
 Referenced in 129 articles
[sw01175]
 ADINA R&D, Inc. was founded in 1986...

PRISM
 Referenced in 416 articles
[sw01186]
 PRISM: Probabilistic symbolic model checker. In this paper...

MACSYMA
 Referenced in 716 articles
[sw01209]
 Macsyma is a general purpose symbolicnumericalgraphical...

DYNAMO
 Referenced in 251 articles
[sw01227]
 DYNAMO (DYNAmic MOdels) was a simulation language and...

QUADPACK
 Referenced in 250 articles
[sw01236]
 Fortran subprograms for evaluating definite integrals of functions...

FreeFem++
 Referenced in 1063 articles
[sw01436]
 FreeFem++ is an implementation of a language dedicated...

LOQO
 Referenced in 203 articles
[sw02212]
 LOQO: An interior point code for quadratic programming...

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

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

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

deal.ii
 Referenced in 560 articles
[sw03516]
 deal.II is a C++ program library targeted at...

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...

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

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

CUTEr
 Referenced in 569 articles
[sw04010]
 CUTEr is a versatile testing environment for optimization...

PETSc
 Referenced in 1182 articles
[sw04012]
 The Portable, Extensible Toolkit for Scientiﬁc Computation (PETSc...

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