Advertisement

Proof Technology: Implications for Teaching

  • Gila HannaEmail author
  • David A. Reid
  • Michael de Villiers
Chapter
  • 106 Downloads
Part of the Mathematics Education in the Digital Era book series (MEDE, volume 14)

Abstract

Proving is sometimes thought to be the aspect of mathematical activity most resistant to the influence of technological change. While computational methods are well known to have a huge importance in applied mathematics, there is a perception that mathematicians seeking to derive new results are unaffected by the digital era. The reality is quite different. Digital technologies are influencing the way mathematicians work together and the way they go about proving.

Notes

Acknowledgements

We would like to thank all the authors for contributing their time and expertise to this book. We wish to acknowledge the referees for their thoughtful and constructive reviews. Many authors also served as referees; their double task is highly appreciated.

Special thanks go to Arleen Schenke, Hardy Grant, and Ed Barbeau for their stylistic polishing of some of the chapters and for their most helpful editorial advice.

Thanks are due to the Journal of Automated Reasoning for permission to reproduce the article “A Fully Automatic Theorem Prover with Human-Style Output” by M. Ganesalingam and W. T. Gowers.

We wish to acknowledge the generous support of the Social Sciences and Humanities Research Council of Canada.

Copyright information

© Springer Nature Switzerland AG 2019

Authors and Affiliations

  • Gila Hanna
    • 1
    Email author
  • David A. Reid
    • 2
  • Michael de Villiers
    • 3
  1. 1.Ontario Institute for Studies in EducationUniversity of TorontoTorontoCanada
  2. 2.Universität BremenBremenGermany
  3. 3.Stellenbosch UniversityStellenboschSouth Africa

Personalised recommendations