Abstract

A self-contained introduction is given to the theory of Groebner bases which provide algorithmic solutions to many problems in polynomial ideal theory. After explaining the basic theory of Groebner 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.

BibTeX Entry

@techreport{MS-91,
 author      = "Aart Middeldorp and Mirjana Star\v{c}evi\'c",
 title       = "A Rewrite Approach to Polynomial Ideal Theory",
 institution = "CWI, Amsterdam",
 type        = "Report",
 number      = "CS-R9160",
 year        = 1991
}