Details:
Title | A Rewrite Approach to Polynomial Ideal Theory | Author(s) | Mirjana Starvcevic | Type | Technical Report, Misc | Abstract | A self-contained 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 | 0169-118X |
File |
| Language | English | Number | CS-R9160 | Year | 1991 | Month | December | Edition | 0 | Translation |
No | Refereed |
No | Institution |
CWI, Amsterdam |
|