Details:
| Title | Construction of Groebner Bases: S-Polynomials and Standard Representations | | 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 S-polynomials and standard representations are introduced and it is shown how these notions characterize Groebner bases. | | Length | 10 | | Copyright | University of Białystok, Poland |
| File |
| | Language | English | | Journal | Formalized Mathematics | | Volume | 11 | | Number | 3 | | Pages | 303-312 | | Publisher | | | Year | 2003 | | Edition | 0 | | Translation |
No | | Refereed |
No |
|
