-
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 high-level language and interactive...
-
MiniSat
- Referenced in 565 articles
[sw00577]
- An extensible SAT-solver. MiniSat is a minimalistic...
-
NAG
- Referenced in 423 articles
[sw00610]
- Produced by experts for use in a variety...
-
nauty
- Referenced in 609 articles
[sw00611]
- graph-theoretic program NAUTY: nauty is a program...
-
NITSOL
- Referenced in 97 articles
[sw00623]
- We introduce a well-developed Newton iterative (truncated...
-
Octave
- Referenced in 304 articles
[sw00646]
- GNU Octave is a high-level 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, open-source 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 variable-coefficient ODE solver. This paper...
-
MACSYMA
- Referenced in 720 articles
[sw01209]
- Macsyma is a general purpose symbolic-numerical-graphical...
-
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...