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?
