• SINGULAR

  • Referenced in 1263 articles [sw00866]
  • factorizations, resultant, characteristic set and gcd computations, syzygy and free-resolution computations, and many more...
  • CoCoA

  • Referenced in 584 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...
  • Azurite

  • Referenced in 16 articles [sw20252]
  • generalized-unitarity cuts. It is based on syzygy computations and analyses of the symmetries...
  • CALI

  • Referenced in 13 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 i-th syzygy module of M is generated...
  • K3Carpets

  • Referenced in 4 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 well-known 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 79 articles [sw00108]
  • CASA is a special-purpose system for computational...
  • CoCoALib

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

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

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

  • Referenced in 1438 articles [sw00537]
  • Macaulay2 is a software system devoted to supporting...
  • Magma

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