A new style of mathematical proof

DOI10.1007/978-3-319-96418-8_21zbMATH Open1395.68257OpenAlexW2806692674MaRDI QIDQ1662225FDOQ1662225

Authors: William M. Farmer 

Publication date: 17 August 2018

Full work available at URL: https://doi.org/10.1007/978-3-319-96418-8_21

Recommendations

• Structuring Mathematical Proofs
• scientific article; zbMATH DE number 1331926
• Mathematical proofs in the computer age
• Theory Is Forever
• Proving and programming

zbMATH Keywords

mathematical proofcross checksflexiformalizationformal proof stylelittle theories methodtheory graphstraditional proof styleUDMLuniversal digital mathematics library

Mathematics Subject Classification ID

Knowledge representation (68T30) Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35) Structure of proofs (03F07)

Cited In (1)

• Mathematical Knowledge Management

This page was built for publication: A new style of mathematical proof

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1662225)