
CASA
 Referenced in 111 articles
[sw00108]
 CASA is a specialpurpose system for computational...

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

FLINT
 Referenced in 58 articles
[sw00297]
 Fast library for number theory: an introduction. We...

gmp
 Referenced in 289 articles
[sw00363]
 GMP is a free library for arbitrary precision...

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

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

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

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

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

NTL
 Referenced in 222 articles
[sw00638]
 NTL is a highperformance, portable C++ library...

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

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

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

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

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

z3
 Referenced in 606 articles
[sw04887]
 Z3 is a highperformance theorem prover being...

JBool
 Referenced in 123 articles
[sw06185]
 This software promotes some general and useful tools...

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

Hecke1
 Referenced in 1 article
[sw18776]
 The Magma package Hecke1. MAMGMA tool for calculating...