
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]
 multigraded free resolutions of modules over quotient rings of graded or multigraded 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...

GroupRingModule
 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 MEGA2000, 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...