Details:
Title | Characterization and Existence of Groebner Bases | Author(s) | Christoph Schwarzweller | Type | Article in Journal | Abstract | This article is part of a series on the formalization of the theory of Groebner bases in the Mizar system. Here a number of characterizations for Groebner bases (among them that Groebner bases are convergent rewriting systems) are proved. The existence and uniqueness of reduced Groebner bases is also shown. | Length | 9 | Copyright | University of Białystok, Poland |
File |
| Language | English | Journal | Formalized Mathematics | Volume | 11 | Number | 3 | Pages | 293-301 | Publisher | | Year | 2003 | Edition | 0 | Translation |
No | Refereed |
No |
|