• SINGULAR

  • Referenced in 1195 articles [sw00866]
  • factorizations, resultant, characteristic set and gcd computations, syzygy and free-resolution 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]
  • generalized-unitarity cuts. It is based on syzygy computations and analyses of the symmetries...
  • PieriMaps

  • Referenced in 9 articles [sw12137]
  • that, for all i, the i-th 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 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...
  • 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 special-purpose 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...
  • 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...