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

CoCoA
 Referenced in 564 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 18 articles
[sw01048]
 type. Among the implemented applications there are syzygy computations and basic ideal operations. Felix provides...

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

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

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

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

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

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

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

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

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

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

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

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

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