Algorithms for asymptotic extrapolation ∗
Factoring Polynomials with Rational Coefficients