
Gfan
 Referenced in 76 articles
[sw04698]
 tropical varieties. These are polyhedral fans associated to polynomial ideals. The maximal cones ... curves, tropical hypersurfaces and tropical varieties of prime ideals. In addition to the above core...

graal.lib
 Referenced in 1 article
[sw13975]
 computational treatment of localizations at prime ideals and their associated graded rings based ... affine coordinate ring at a prime ideal, the algorithms in this library aim to exploit ... computing first and foremost in the associated graded ring and lifting the result...

CAS
 Referenced in 21 articles
[sw07634]
 prime p=3. The examples clearly indicate how useful CAS would ... powerful, portable, available software tool. The associated library of character tables greatly enhances the usefulness...

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

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

Ginv
 Referenced in 7 articles
[sw00350]
 Specialized computer algebra system GINV. The computer algebra...

LAPACK
 Referenced in 1220 articles
[sw00503]
 LAPACK is written in Fortran 90 and provides...

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

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

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

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

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

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

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

NIST DLMF
 Referenced in 513 articles
[sw00621]
 The National Institute of Standards and Technology is...

Normaliz
 Referenced in 73 articles
[sw00630]
 Normaliz is a tool for computations in affine...

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

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

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

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