Prime numbers and computer methods for factorization - Riesel, Hans (Progress in mathematics ;, 1994)