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

Multiple Proof Approaches and Mathematical Connections

โœ Scribed by Zhonghong Jiang and George E. O'Brien

Book ID
119991510
Publisher
National Council of Teachers of Mathematics
Year
2012
Weight
1013 KB
Volume
105
Category
Article
ISSN
0025-5769

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

Randomness and Mathematical Proof
Randomness and Mathematical Proof
โœ Chaitin, Gregory J. ๐Ÿ“‚ Article ๐Ÿ“… 1975 ๐Ÿ› Nature Publishing Group ๐ŸŒ English โš– 489 KB
Mathematical Method and Proof
Mathematical Method and Proof
โœ Jeremy Avigad ๐Ÿ“‚ Article ๐Ÿ“… 2006 ๐Ÿ› Springer Netherlands ๐ŸŒ English โš– 277 KB