Algorithms for computing Gröbner bases of polynomial ideals over various Euclidean rings

This publication has 6 references indexed in Scilit:

• Algebraic Simplification
  Published by Springer Nature ,1982
• A simplified proof of the characterization theorem for Gröbner-bases
  ACM SIGSAM Bulletin, 1980
• Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
  Journal of the ACM, 1980
• Canonical representatives for residue classes of a polynomial ideal
  Published by Association for Computing Machinery (ACM) ,1976
• Simple Word Problems in Universal Algebras††The work reported in this paper was supported in part by the U.S. Office of Naval Research.
  Published by Elsevier ,1970
• A Canonical Basis for the Ideals of a Polynomial Domain
  The American Mathematical Monthly, 1952