Synopses & Reviews
Synopsis
Proposed Table of Contents
I Challenges and promises of proof technology
1. Gila, Michael, and David: Intro
2. Freek Wiedijk: Machine proving
3. Paolo Oliva: Proof Theory -- proof translations and interpretations
4. Alison Pease: A systematic automated realisation of Lakatos' theory
5. Maria Paola Bonacina: Automated reasoning
II Teaching proving with technology - high-school and undergraduate levels
1. Mikio Miyazaki: Web-based learning - proving in geometry (math ed)
2. John Olive:
3. Tina Rapke and Kitty Yan: Using cut-the-knot site to teach proof
4. Keith Jones et al.
5. A. Mariotti:
6.
III Computer-assisted proof
1. Ulrich Kortenkamp or someone who is an expert with Cinderellla
2. Zolt n Kov cs: Theorem proving with Geogebra (math ed)
3. Heinz Schumann: ?
4. Nicolas Balacheff: Something about his lab work relevant to proving
5. Chantal Keller:
6.
IV Automated proof and Human-machine collaboration on proof
Stephanie Dick: History of automated proof
2. Jeremy Avigad: Machine proving; artificial intelligence; state of the art
3. Mateja Jamnik: Inductive theorem proving, heuristic guidance, proof planning (AI)
4. Ursula Martin: Massive mathematical collaboration: producing novel proofs
5. Fr d ric Blanqui:
6. More?
Synopsis
Provides a much needed update on new developments on proof in the digital era
Brings new ideas on teaching proof and proving in mathematics education
Emphasizes interdisciplinary approaches on education, philosophy and technology