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.

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