
SINGULAR
 Referenced in 970 articles
[sw00866]
 factorizations, resultant, characteristic set and gcd computations, syzygy and freeresolution computations, and many more...

CoCoA
 Referenced in 495 articles
[sw00143]
 example, it can readily compute Grobner bases, syzygies and minimal free resolution, intersection, division...

AIDA
 Referenced in 56 articles
[sw11535]
 computation of generating sets of invariants, rewritings, syzygies, and their differential analogues. The package builds...

Felix
 Referenced in 16 articles
[sw01048]
 type. Among the implemented applications there are syzygy computations and basic ideal operations. Felix provides...

CALI
 Referenced in 11 articles
[sw07761]
 Gröbner algorithm that allows the computation of syzygies, too. This implementation is also applicable...

PieriMaps
 Referenced in 7 articles
[sw12137]
 that, for all i, the ith syzygy module of M is generated...

InvolutiveBases
 Referenced in 1 article
[sw13599]
 modulo a Janet basis can be performed. Syzygies and free resolutions can be computed using...

Azurite
 Referenced in 1 article
[sw20252]
 generalizedunitarity cuts. It is based on syzygy computations and analyses of the symmetries...

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

CoCoALib
 Referenced in 29 articles
[sw00144]
 CoCoALib: A C++ library for computations in commutative...

dpgb
 Referenced in 11 articles
[sw00217]
 Improving the DISPGB algorithm using the discriminant ideal...

FFLASFFPACK
 Referenced in 15 articles
[sw00283]
 FFPACK: finite field linear algebra package. The FFLAS...

FGb
 Referenced in 218 articles
[sw00286]
 FGb/Gb libraryGb is a program (191 420 lines...

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

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

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

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

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