Thumbnail
Access Restriction
Subscribed

Author Monroe, Don
Source ACM Digital Library
Content type Text
Publisher Association for Computing Machinery (ACM)
File Format PDF
Language English
Abstract New discoveries expand the scope of computer-assisted proofs of theorems.
Description Affiliation: Murray Hill, NJ (Monroe, Don)
Age Range 18 to 22 years ♦ above 22 year
Educational Use Research
Education Level UG and PG
Learning Resource Type Article
Publisher Date 2005-08-01
Publisher Place New York
Journal Communications of the ACM (CACM)
Volume Number 57
Issue Number 2
Page Count 3
Starting Page 13
Ending Page 15


Source: ACM Digital Library