Polynomial factorization by root approximation - Lenstra, Arjen K. 1956- (1983)