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