2014 FormallyVerifiedMathematics
Jump to navigation
Jump to search
- (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
- http://scholar.google.com/scholar?q=%222014%22+%5Bhttp%3A%2F%2Fcacm.acm.org%2Fmagazines%2F2014%2F4%2F173219-formally-verified-mathematics%2Ffulltext+Formally+Verified+Mathematics%5D
- http://dl.acm.org/citation.cfm?id=2580723.2591012&preflayout=flat#citedby
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 |