Factoring multivariate polynomials over algebraic number fields
SIAM Journal on Computing
Effective Noether irreducibility forms and applications
Selected papers of the 23rd annual ACM symposium on Theory of computing
Modern computer algebra
Proceedings of the 2001 international symposium on Symbolic and algebraic computation
Proceedings of the 11th Colloquium on Automata, Languages and Programming
Polynomial Factorization 1987-1991
LATIN '92 Proceedings of the 1st Latin American Symposium on Theoretical Informatics
Factorization of Polynominals by Transcendental Evaluation
EUROCAL '85 Research Contributions from the European Conference on Computer Algebra-Volume 2
Factoring multivariate polynomials via partial differential equations
Mathematics of Computation
A geometric-numeric algorithm for absolute factorization of multivariate polynomials
Proceedings of the 2002 international symposium on Symbolic and algebraic computation
A polynomial reduction from multivariate to bivariate integral polynomial factorization.
STOC '82 Proceedings of the fourteenth annual ACM symposium on Theory of computing
Factoring multivariate polynomials over finite fields
STOC '83 Proceedings of the fifteenth annual ACM symposium on Theory of computing
Polynomial factorization: a success story
ISSAC '03 Proceedings of the 2003 international symposium on Symbolic and algebraic computation
Complexity issues in bivariate polynomial factorization
ISSAC '04 Proceedings of the 2004 international symposium on Symbolic and algebraic computation
Approximate factorization of multivariate polynomials via differential equations
ISSAC '04 Proceedings of the 2004 international symposium on Symbolic and algebraic computation
Hybrid symbolic-numeric computation
Proceedings of the 2006 international symposium on Symbolic and algebraic computation
Lifting and recombination techniques for absolute factorization
Journal of Complexity
Numerical optimization in hybrid symbolic-numeric computation
Proceedings of the 2007 international workshop on Symbolic-numeric computation
A polynomial-time reduction from bivariate to univariate integral polynomial factorization
SFCS '82 Proceedings of the 23rd Annual Symposium on Foundations of Computer Science
Factoring univariate polynomials over the rationals
ACM Communications in Computer Algebra
Low-dimensional lattice basis reduction revisited
ACM Transactions on Algorithms (TALG)
From an approximate to an exact absolute polynomial factorization
Journal of Symbolic Computation
On the sphere-decoding algorithm I. Expected complexity
IEEE Transactions on Signal Processing - Part I
Hi-index | 0.00 |
For factoring polynomials in two variables with rational coefficients, an algorithm using transcendental evaluation was presented by Hulst and Lenstra. In their algorithm, transcendence measure was computed. However, a constant c is necessary to compute the transcendence measure. The size of c involved the transcendence measure can influence the efficiency of the algorithm greatly. In this paper, we overcome the problem arising in Hulst and Lenstra's algorithm and propose a new polynomial time algorithm for factoring bivariate polynomials with rational coefficients. Using an approximate algebraic number of high degree instead of a variable of a bivariate polynomial, we can get a univariate one. A factor of the resulting univariate polynomial can then be obtained by a numerical root finder and the purely numerical LLL algorithm. The high degree of the algebraic number guarantees that this factor corresponds to a factor of the original bivariate polynomial. We prove that our algorithm saves a (log2(mn))2+ε factor in bit-complexity comparing with the algorithm presented by Hulst and Lenstra, where (n, m) represents the bi-degree of the polynomial to be factored. We also demonstrate on many significant experiments that our algorithm is practical. Moreover our algorithm can be generalized to polynomials with variables more than two.