New Primality7 Criteria and Factorization of 2sup m+i (1930)

by Lehmer Brillhart, Selfridge