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

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

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

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

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

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

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

K3Carpets
 Referenced in 5 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...

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

SchurVeronese
 Referenced in 1 article
[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...

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

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

CoCoALib
 Referenced in 54 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 20 articles
[sw00283]
 FFPACK: finite field linear algebra package. The FFLAS...

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

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

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