
COSTA
 Referenced in 23 articles
[sw00162]
 COSTA is a research prototype which performs automatic...

KNITRO
 Referenced in 180 articles
[sw00490]
 KNITRO is a solver for nonlinear optimization. It...

LAPACK
 Referenced in 1648 articles
[sw00503]
 LAPACK is written in Fortran 90 and provides...

LSQR
 Referenced in 372 articles
[sw00530]
 Algorithm 583: LSQR: Sparse Linear Equations and Least...

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

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

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

MiniSat
 Referenced in 546 articles
[sw00577]
 An extensible SATsolver. MiniSat is a minimalistic...

MooNMD
 Referenced in 73 articles
[sw00592]
 The basis of mapped finite element methods are...

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

REDUCE
 Referenced in 741 articles
[sw00789]
 REDUCE is an interactive system for general algebraic...

SymPy
 Referenced in 125 articles
[sw00940]
 SymPy is a Python library for symbolic mathematics...

VODE
 Referenced in 194 articles
[sw01005]
 VODE: A variablecoefficient ODE solver. This paper...

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

SLEDGE
 Referenced in 97 articles
[sw01217]
 Using the SLEDGE package on SturmLioville problems...

ALGOL 68
 Referenced in 291 articles
[sw01226]
 ALGOL 68 (short for ALGOrithmic Language 1968) is...

SPLUS
 Referenced in 602 articles
[sw02892]
 SPLUS is a powerful environment for statistical...

DASSL
 Referenced in 259 articles
[sw03174]
 Subroutine DDASSL uses the backward differentiation formulas of...