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 |
|
