Details:
Title | Construction of Groebner Bases: Avoiding S-Polynomials - Buchberger"sFirst Criterium | 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 Buchberger's first criterium on avoiding S-polynomials when constructing Groebner bases is proven. | Length | 10 |
File |
| Language | English | Journal | Formalized mathematics | Volume | 13 | Number | 1 | Pages | 147-156 | Publisher | University of Bialystok, Poland | Year | 2007 | Edition | 0 | Translation |
No | Refereed |
No |
|