𝔖 Bobbio Scriptorium
✦   LIBER   ✦

[ACM Press the 2010 International Symposium - Munich, Germany (2010.07.25-2010.07.28)] Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation - ISSAC '10 - Chebyshev interpolation polynomial-based tools for rigorous computing

✍ Scribed by Brisebarre, Nicolas; Joldeş, Mioara


Book ID
121869185
Publisher
ACM Press
Year
2010
Weight
827 KB
Category
Article
ISBN
1450301509

No coin nor oath required. For personal study only.


📜 SIMILAR VOLUMES


[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