Journal article
A New Style of Mathematical Proof
Abstract
Mathematical proofs will play a crucial role in building a universal digital mathematics library (UDML). Traditional and formal style proofs do not adequately fulfill all the purposes that mathematical proofs have. We propose a new style of proof that fulfills seven purposes of mathematical proofs. We believe this style of proof is needed to build a highly interconnected UDML.
Authors
Farmer WM
Journal
Lecture Notes in Computer Science, Vol. 10931, , pp. 175–181
Publisher
Springer Nature
Publication Date
2018
DOI
10.1007/978-3-319-96418-8_21
ISSN
0302-9743