• SINGULAR

  • Referenced in 1504 articles [sw00866]
  • theory. SINGULAR’s main computational objects are ideals and modules over a large variety ... localizations thereof, or quotient rings with respect to an ideal. SINGULAR features fast and general...
  • Macaulay2

  • Referenced in 1904 articles [sw00537]
  • multi-graded free resolutions of modules over quotient rings of graded or multi-graded polynomial ... sheaves on projective varieties, primary decomposition of ideals, integral closure of rings, and more. Computer...
  • parametric GCD

  • Referenced in 4 articles [sw35034]
  • extracted using the generator of the quotient ideal of a polynomial with respect ... minimal Gröbner basis of the quotient ideal. The main attraction of this idea is that ... basis is constructed for the parametric quotient ideal. It is proved that in a minimal ... comprehensive Gröbner system of a parametric quotient ideal, each branch of specializations corresponds...
  • StableBBasisNBM5

  • Referenced in 7 articles [sw06680]
  • Numerical Border Basis of ideal of points This function is implemented in CoCoALib ... fact a quotient basis of the ideal of points, and in this case a border...
  • Group-Ring-Module

  • Referenced in 2 articles [sw32227]
  • theorem. The ring theory development includes ideals, quotient rings and the Chinese remainder theorem...
  • moddiq.lib

  • Referenced in 1 article [sw33613]
  • SINGULAR Library moddiq.lib: Double ideal quotient using modular methods. A library for computing ideal quotient ... Modular Techniques for Efficient Computation of Ideal Operations. Math.Comput.Sci...
  • mregular

  • Referenced in 4 articles [sw10947]
  • also determines depth(basering/ideal) and satiety(ideal). The procedures are based on 3 papers ... some subschemes of Pn using quotients of monomial ideals’, Proceedings of MEGA-2000, J. Pure...
  • Miura

  • Referenced in 1 article [sw20305]
  • isomorphism. The underlying quotient ring should be over the ideal given by a nonsingular curve...
  • Bruns

  • Referenced in 1 article [sw27123]
  • second syzygy module of an ideal with three generators. The general context of this result ... such a way that the quotient S3/N is an ideal generated by three elements. This...
  • BooleanGB

  • Referenced in 0 articles [sw36745]
  • package BooleanGB - Groebner Bases for Ideals in Boolean Polynomial Quotient Ring...
  • cdd

  • Referenced in 115 articles [sw00114]
  • The program cdd+ (cdd, respectively) is a C...
  • CLIFFORD

  • Referenced in 84 articles [sw00131]
  • CLIFFORD performs various computations in Grass mann and...
  • CoCoA

  • Referenced in 654 articles [sw00143]
  • CoCoA is a system for Computations in Commutative...
  • FGb

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

  • Referenced in 3154 articles [sw00320]
  • GAP is a system for computational discrete algebra...
  • Isabelle

  • Referenced in 698 articles [sw00454]
  • Isabelle is a generic proof assistant. It allows...
  • KANT/KASH

  • Referenced in 156 articles [sw00481]
  • KASH/KANT is a computer algebra system (CAS) for...
  • Kronecker

  • Referenced in 117 articles [sw00495]
  • Kronecker is a package for Magma computer algebra...
  • LAPACK

  • Referenced in 1695 articles [sw00503]
  • LAPACK is written in Fortran 90 and provides...
  • Magma

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