
CoCoA
 Referenced in 585 articles
[sw00143]
 CoCoA is a system for Computations in Commutative...

Macaulay2
 Referenced in 1502 articles
[sw00537]
 Macaulay2 is a software system devoted to supporting...

Magma
 Referenced in 2602 articles
[sw00540]
 Computer algebra system (CAS). Magma is a large...

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

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

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

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

4ti2
 Referenced in 134 articles
[sw04379]
 A software package for algebraic, geometric and combinatorial...

OEIS
 Referenced in 3043 articles
[sw07248]
 The OnLine Encyclopedia of Integer Sequence. The...

FourTiTwo
 Referenced in 7 articles
[sw07615]
 Finiteness theorems and algorithms for permutation invariant chains...

INVAR
 Referenced in 7 articles
[sw10662]
 INVAR. A Maple package for invariant theory of...