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

GAP
 Referenced in 3164 articles
[sw00320]
 GAP is a system for computational discrete algebra...

KANT/KASH
 Referenced in 157 articles
[sw00481]
 KASH/KANT is a computer algebra system (CAS) for...

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

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

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

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

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

SETHEO
 Referenced in 122 articles
[sw00707]
 SETHEO: A highperformance theorem prover. The paper...

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

GOLOG
 Referenced in 172 articles
[sw02159]
 GOLOG: A logic programming language for dynamic domains...

ESETHEO
 Referenced in 19 articles
[sw07141]
 ESETHEO: An automated3 theorem prover We have...

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

LMFDB
 Referenced in 159 articles
[sw07249]
 Welcome to the LMFDB, the database of L...

Graphplan
 Referenced in 186 articles
[sw07746]
 Fast planning through planning graph analysis. We introduce...

GitHub
 Referenced in 2756 articles
[sw23170]
 GitHub (originally known as Logical Awesome LLC)[3...

ecdata
 Referenced in 329 articles
[sw27596]
 ecdata Elliptic Curve Data. This is a repository...

IFStile
 Referenced in 4 articles
[sw32508]
 IFStile: IFStile  Iterated Function Systems  visualize substitution tilings...