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

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

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

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

NAG
 Referenced in 423 articles
[sw00610]
 Produced by experts for use in a variety...

nauty
 Referenced in 609 articles
[sw00611]
 graphtheoretic program NAUTY: nauty is a program...

NITSOL
 Referenced in 97 articles
[sw00623]
 We introduce a welldeveloped Newton iterative (truncated...

Octave
 Referenced in 304 articles
[sw00646]
 GNU Octave is a highlevel language, primarily...

QSHEP3D
 Referenced in 71 articles
[sw00762]
 Algorithm 661 QSHEP3D: Quadratic Shepard method for trivariate...

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

SageMath
 Referenced in 1970 articles
[sw00825]
 Sage (SageMath) is free, opensource math software...

Sostools
 Referenced in 289 articles
[sw00891]
 We are pleased to introduce SOSTOOLS, a free...

SUNDIALS
 Referenced in 237 articles
[sw00927]
 SUNDIALS was implemented with the goal of providing...

SuperLU
 Referenced in 193 articles
[sw00930]
 SuperLU is a general purpose library for the...

TISEAN
 Referenced in 170 articles
[sw00967]
 Practical implementation of nonlinear time series methods: The...

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

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

Stratego
 Referenced in 78 articles
[sw01259]
 Stratego/XT is a language and toolset for program...

SynDEx
 Referenced in 12 articles
[sw01608]
 SynDEx is a system level CAD software based...