Details:
Title  A Rewrite Approach to Polynomial Ideal Theory  Author(s)  Mirjana Starvcevic  Type  Technical Report, Misc  Abstract  A selfcontained introduction is given to the theory of Gr\"{o}bner
bases which provide algorithmic solutions to many problems in polynomial
ideal theory. After explaining the basic theory of Gr\"{o}bner bases from
a term rewriting point of view, we show that abandoning the usual
distributive normal form representation of polynomials leads to a
considerable simplification of the theory.  Keywords  Gr\"{o}bner bases, Buchberger's
algorithm, \\
Gr\"{o}bner bases, Buchberger's algorithm, term rewriting systems  Length  28  ISSN  0169118X 
File 
 Language  English  Number  CSR9160  Year  1991  Month  December  Edition  0  Translation 
No  Refereed 
No  Institution 
CWI, Amsterdam 
