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

MARCA
 Referenced in 31 articles
[sw00547]
 MARCA: Markov chain analyzer, a software package for...

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

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

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

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

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

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

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

RelView
 Referenced in 101 articles
[sw00798]
 The RelViewSystem is an interactive tool for...

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

TPS
 Referenced in 71 articles
[sw00973]
 TPS and ETPS are, respectively, the Theorem Proving...

Cayley
 Referenced in 131 articles
[sw01053]
 An introduction to the Group Theory Language, Cayley...

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

LISPSTAT
 Referenced in 116 articles
[sw01111]
 LispStat is an extensible statistical computing environment...

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

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

ML
 Referenced in 517 articles
[sw01218]
 ML (’Meta Language’) is a generalpurpose functional...

PERL
 Referenced in 266 articles
[sw01225]
 Programming Perl. Perl is a language for easily...

Kronos
 Referenced in 263 articles
[sw01270]
 KRONOS is a tool developed with the aim...