2014 FormallyVerifiedMathematics
- (Avigad & Harrison, 2014) ⇒ Jeremy Avigad, and John Harrison. (2014). “Formally Verified Mathematics.” In: Communications of the ACM Journal, 57(4).In: Communications of the ACM Journal, 57(4). doi:10.1145/2591012
Subject Headings: Formally Verified Proof, Mathematical Logic, Formal Axiomatic System.
Notes
Cited By
Quotes
Abstract
With the help of computational proof assistants, formal verification could become the new standard for rigor in mathematics.
References
;
Author | volume | Date Value | title | type | journal | titleUrl | doi | note | year | |
---|---|---|---|---|---|---|---|---|---|---|
2014 FormallyVerifiedMathematics | Jeremy Avigad John Harrison | Formally Verified Mathematics | 10.1145/2591012 | 2014 |