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

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

Maxima
 Referenced in 153 articles
[sw00560]
 Maxima is a system for the manipulation of...

MuPAD
 Referenced in 138 articles
[sw00606]
 MuPAD consists of a powerful symbolic engine, a...

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

NEWUOA
 Referenced in 85 articles
[sw00618]
 NEWUOA is a software developped by M.J.D. Powell...

PARI/GP
 Referenced in 595 articles
[sw00680]
 PARI/GP is a widely used Computer Algebra System...

PHCpack
 Referenced in 215 articles
[sw00705]
 Algorithm 795: PHCpack: A generalpurpose solver for...

Plural
 Referenced in 80 articles
[sw00719]
 Singular is a computer algebra system (CAS) developed...

polymake
 Referenced in 297 articles
[sw00724]
 polymake is open source software for research in...

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

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

SINGULAR
 Referenced in 1399 articles
[sw00866]
 SINGULAR is a Computer Algebra system (CAS) for...

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

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

LiE
 Referenced in 151 articles
[sw01075]
 LiE is the name of a software package...

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

PVS
 Referenced in 616 articles
[sw03484]
 PVS is a verification system: that is, a...

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