Details:
| Title | Polynomial Reduction | | Author(s) | Christoph Schwarzweller | | Type | Article in Journal | | Abstract | This article is part of a series on the formalization of Groebner bases in the Mizar system. Here polynomial reduction is introduced. Furthermore basic properties (termination, adequateness for ideal congruence, transition lemma) are proved. | | Length | 11 | | Copyright | University of Białystok, Poland |
| File |
| | Language | English | | Journal | Formalized Mathematics | | Volume | 11 | | Number | 1 | | Pages | 113-123 | | Publisher | | | Year | 2003 | | Edition | 0 | | Translation |
Yes | | Refereed |
No |
|
