Author's: Hamid Kulosman and Stephanie Britt
Pages: [41] - [48]
Received Date: September 20, 2010
Submitted by:
We find a necessary and sufficient condition for a set of two polynomials (of special form) in n-variables over a Noetherian commutative ring to be a Gröbner basis of the ideal That can eventually be used to obtain faster versions of the Insa-Pauer criterion (an analogue of Buchberger’s criterion in the case of rings).
Gröbner basis, Buchberger’s criterion, Insa-Pauer’s criterion, polynomials over Noetherian commutative rings.