Ideal Bases and Primary Decomposition: Case of Two Variables
Journal of Symbolic Computation
A p-adic approach to the computation ofGröbner bases
Journal of Symbolic Computation
On the theories of triangular sets
Journal of Symbolic Computation - Special issue on polynomial elimination—algorithms and applications
Modular algorithms for computing Gröbner bases
Journal of Symbolic Computation
Sharp estimates for triangular sets
ISSAC '04 Proceedings of the 2004 international symposium on Symbolic and algebraic computation
Lifting techniques for triangular decompositions
Proceedings of the 2005 international symposium on Symbolic and algebraic computation
On improving approximate results of Buchberger's algorithm by Newton's method
ACM SIGSAM Bulletin
Fast arithmetic for triangular sets: From theory to practice
Journal of Symbolic Computation
On the structure of lexicographic Gröbner bases in dimension zero
ACM Communications in Computer Algebra
Hi-index | 0.00 |
This work is limited to the zero-dimensional, radical, and bivariate case. A lexicographical Gröbner basis can be simply viewed as Lagrange interpolation polynomials. In the same way the Chinese remaindering theorem generalizes Lagrange interpolation, we show how a triangular decomposition is linked to a specific Gröbner basis (not the reduced one). A bound on the size of the coefficients of this specific Gröbner basis is proved using height theory, then a bound is deduced for the reduced Gröbner basis. Besides, the link revealed between the Gröbner basis and the triangular decomposition gives straightforwardly a numerical estimate to help finding a lucky prime in the context of modular methods.