๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Expert and Novice Approaches to Reading Mathematical Proofs

โœ Scribed by Matthew Inglis and Lara Alcock

Book ID
115488065
Publisher
National Council of Teachers of Mathematics
Year
2012
Tongue
English
Weight
441 KB
Volume
43
Category
Article
ISSN
0021-8251

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

A proof-centric approach to mathematical
A proof-centric approach to mathematical assistants
โœ Lucas Dixon; Jacques Fleuriot ๐Ÿ“‚ Article ๐Ÿ“… 2006 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 330 KB

We present an approach to mathematical assistants which uses readable, executable proof scripts as the central language for interaction. We examine an implementation that combines the Isar language, the Isabelle theorem prover and the IsaPlanner proof planner. We argue that this synergy provides a f