↓ Skip to main content

Proof Technology in Mathematics Research and Teaching

Overview of attention for book
Cover of 'Proof Technology in Mathematics Research and Teaching'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Proof Technology: Implications for Teaching
  3. Altmetric Badge
    Chapter 2 A Fully Automatic Theorem Prover with Human-Style Output
  4. Altmetric Badge
    Chapter 3 A Common Type of Rigorous Proof that Resists Hilbert’s Programme
  5. Altmetric Badge
    Chapter 4 SMTCoq: Mixing Automatic and Interactive Proof Technologies
  6. Altmetric Badge
    Chapter 5 Studying Algebraic Structures Using Prover9 and Mace4
  7. Altmetric Badge
    Chapter 6 Didactical Issues at the Interface of Mathematics and Computer Science
  8. Altmetric Badge
    Chapter 7 Issues and Challenges in Instrumental Proof
  9. Altmetric Badge
    Chapter 8 The Contribution of Information and Communication Technology to the Teaching of Proof
  10. Altmetric Badge
    Chapter 9 Journeys in Mathematical Landscapes: Genius or Craft?
  11. Altmetric Badge
    Chapter 10 Using Automated Reasoning Tools to Explore Geometric Statements and Conjectures
  12. Altmetric Badge
    Chapter 11 Computer-Generated Geometry Proofs in a Learning Context
  13. Altmetric Badge
    Chapter 12 Using 3D Geometry Systems to Find Theorems of Billiard Trajectories in Polyhedra
  14. Altmetric Badge
    Chapter 13 Learning Logic and Proof with an Interactive Theorem Prover
  15. Altmetric Badge
    Chapter 14 Web-Based Task Design Supporting Students’ Construction of Alternative Proofs
  16. Altmetric Badge
    Chapter 15 Reasoning by Equivalence: The Potential Contribution of an Automatic Proof Checker
  17. Altmetric Badge
    Chapter 16 Virtual Manipulatives and Students’ Counterexamples During Proving
  18. Altmetric Badge
    Chapter 17 Proof Technology and Learning in Mathematics: Common Issues and Perspectives
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
3 X users
facebook
1 Facebook page

Citations

dimensions_citation
14 Dimensions

Readers on

mendeley
10 Mendeley
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Title
Proof Technology in Mathematics Research and Teaching
Published by
Springer International Publishing, January 2020
DOI 10.1007/978-3-030-28483-1
ISBNs
978-3-03-028482-4, 978-3-03-028483-1
Editors

Hanna, Gila, Reid, David A. , de Villiers, Michael

X Demographics

X Demographics

The data shown below were collected from the profiles of 3 X users who shared this research output. Click here to find out more about how the information was compiled.
Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 10 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Unknown 10 100%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 3 30%
Student > Master 2 20%
Student > Doctoral Student 2 20%
Researcher 1 10%
Unknown 2 20%
Readers by discipline Count As %
Social Sciences 7 70%
Mathematics 1 10%
Unknown 2 20%