Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
A new style of mathematical proof - MaRDI portal

A new style of mathematical proof

From MaRDI portal

Publication:1662225

Jump to:navigation, search

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

William M. Farmer

Publication date: 17 August 2018

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

zbMATH Keywords

mathematical proof cross checks flexiformalization formal proof style little theories method theory graphs traditional proof style UDML universal 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)

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)

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:1662225&oldid=13974040"