Proof Technology in Mathematics Research and Teaching Gila Hanna

This completed downloadable of Proof Technology in Mathematics Research and Teaching 1st ed. 2019 Gila Hanna.

Instant downloaded Proof Technology in Mathematics Research and Teaching 1st ed. 2019 Gila Hanna pdf docx epub after payment.

Product details:

• ISBN-10 ‏: ‎3030284840
• ISBN-13 : ‎978-3030284848
• Author : Gila Hanna, David A. Rei, Michael de Villiers

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:

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:

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?

Table of contents:

Part I. Introduction

Part II. Automatic Theorem Provers

Part III. Theoretical Perspectives on Computer-Assisted Proving

Part IV. Suggestions for the Use of Proof Software in the Classroom

Part V. Classroom Experience with Proof Software

Part VI. Afterword

People also search:

proof technology in mathematics research and teaching

what is research in mathematics education

proof techniques math

math proof techniques

discrete math proof techniques