[ACM Press the 2010 International Sympos
✍
Mayr, Ernst W.; Ritscher, Stephan
📂
Article
📅
2010
🏛
ACM Press
⚖ 748 KB
Let K[X] be a ring of multivariate polynomials with coefficients in a field K, and let f1, . . . , fs be polynomials with maximal total degree d which generate an ideal I of dimension r. Then, for every admissible ordering, the total degree of polynomials in a Gröbner basis for I is bounded by . Th