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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

CommMatAlg
 Referenced in 1 article
[sw18777]
 The Magma package CommMatAlg. Some MAGMA functions for...