Access Restriction

Author Harrison, John ♦ Avigad, Jeremy
Source ACM Digital Library
Content type Text
Publisher Association for Computing Machinery (ACM)
File Format PDF
Language English
Abstract With the help of computational proof assistants, formal verification could become the new standard for rigor in mathematics.
Description Affiliation: Carnegie Mellon University, Pittsburgh, PA (Avigad, Jeremy) || Intel Corporation, Hillsboro, OR (Harrison, John)
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 4
Page Count 10
Starting Page 66
Ending Page 75

Open content in new tab

   Open content in new tab
Source: ACM Digital Library