Journal of Symbolic Computation - Special issue on computational algebraic complexity
Modern computer algebra
Factoring polynomials over finite fields: a survey
Journal of Symbolic Computation - Special issue on computational algebra and number theory: proceedings of the second Magma conference
Polynomial Factorization 1987-1991
LATIN '92 Proceedings of the 1st Latin American Symposium on Theoretical Informatics
Factoring multivariate polynomials via partial differential equations
Mathematics of Computation
Hensel lifting and bivariate polynomial factorisation over finite fields
Mathematics of Computation
Factoring multivariate polynomials over finite fields
STOC '83 Proceedings of the fifteenth annual ACM symposium on Theory of computing
Improved dense multivariate polynomial factorization algorithms
Journal of Symbolic Computation
Lifting and recombination techniques for absolute factorization
Journal of Complexity
Differential forms in computational algebraic geometry
Proceedings of the 2007 international symposium on Symbolic and algebraic computation
Fast separable factorization and applications
Applicable Algebra in Engineering, Communication and Computing
New recombination algorithms for bivariate polynomial factorization based on Hensel lifting
Applicable Algebra in Engineering, Communication and Computing
Hi-index | 5.23 |
Shuhong Gao (2003) [6] has proposed an efficient algorithm to factor a bivariate polynomial f over a field F. This algorithm is based on a simple partial differential equation and depends on a crucial fact: the dimension of the polynomial solution space G associated with this differential equation is equal to the number r of absolutely irreducible factors of f. However, this holds only when the characteristic of F is either zero or sufficiently large in terms of the degree of f. In this paper we characterize a vector subspace of G for which the dimension is r, regardless of the characteristic of F, and the properties of Gao's construction hold. Moreover, we identify a second vector subspace of G that leads to an analogous theory for the rational factorization of f.