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

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

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

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

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

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

K3Carpets
 Referenced in 8 articles
[sw27523]
 This package accompanies our paper Equations and syzygies of K3 carpets and union of scrolls ... experimental exploration: Equations and Syzygies of K3 Carpets and Unions of Scrolls. We describe ... inductively. We describe explicit Gröbner bases and syzygies for these objects over the integers...

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

SchurVeronese
 Referenced in 2 articles
[sw30568]
 SchurVeronese, which gathers together data about Veronese syzygies and makes it readily accessible in Macaulay2 ... Schur decompositions of the various spaces of syzygies. The package also includes a number...

Bruns
 Referenced in 1 article
[sw27123]
 ideal with three generators whose 2nd syzygy module is isomorphic to a given module. Bruns ... package of functions for transforming syzygies. A wellknown paper of Winfried Bruns, entitled ”Jede ... shows that every second syzygy module is the second syzygy module of an ideal with ... position arguments of the algebraic geometers. The ”Syzygy Theorem” of Evans and Griffiths (Syzygies. London...

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

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

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

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

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

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

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...