Mechanized mathematics

D. H. Lehmer
1966 Bulletin of the American Mathematical Society  
doi:10.1090/s0002-9904-1966-11553-7 fatcat:jxdywlqlkbd5zovaywfua5d4te