Remote Access Bulletin of the American Mathematical Society

Bulletin of the American Mathematical Society

ISSN 1088-9485(online) ISSN 0273-0979(print)

 

 

Mechanized mathematics


Author: D. H. Lehmer
Journal: Bull. Amer. Math. Soc. 72 (1966), 739-750
DOI: https://doi.org/10.1090/S0002-9904-1966-11553-7
MathSciNet review: 1566405
Full-text PDF Free Access


Additional Information

DOI: https://doi.org/10.1090/S0002-9904-1966-11553-7