Publications Meetings The Profession Membership Programs Math Samplings Policy & Advocacy In the News About the AMS
|
   
Available in electronic format
Available in print format 		Bulletin of the American Mathematical Society
Bulletin of the American Mathematical Society
ISSN 1088-9485(e) ISSN 0273-0979(p)

     

Mechanized mathematics

Author(s): D. H. Lehmer
Journal: Bull. Amer. Math. Soc. 72 (1966), 739-750.
MathSciNet review: 1566405
Retrieve article in: PDF

Additional Information:

DOI: 10.1090/S0002-9904-1966-11553-7
PII: S 0002-9904(1966)11553-7




AMS and Social Media LinkedIn Facebook Podcasts Twitter YouTube RSS Feeds Blogs Wikipedia