Skip to main content

Proof Technology: Implications for Teaching

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.

This is a preview of subscription content, access via your institution.

Buying options

Chapter
USD   29.95
Price excludes VAT (USA)
  • DOI: 10.1007/978-3-030-28483-1_1
  • Chapter length: 7 pages
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
eBook
USD   129.00
Price excludes VAT (USA)
  • ISBN: 978-3-030-28483-1
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book
USD   169.99
Price excludes VAT (USA)
Hardcover Book
USD   169.99
Price excludes VAT (USA)

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.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Gila Hanna .

Editor information

Editors and Affiliations

Rights and permissions

Reprints and Permissions

Copyright information

© 2019 Springer Nature Switzerland AG

About this chapter

Verify currency and authenticity via CrossMark

Cite this chapter

Hanna, G., Reid, D., de Villiers, M. (2019). Proof Technology: Implications for Teaching. In: Hanna, G., Reid, D., de Villiers, M. (eds) Proof Technology in Mathematics Research and Teaching . Mathematics Education in the Digital Era, vol 14. Springer, Cham. https://doi.org/10.1007/978-3-030-28483-1_1

Download citation

  • DOI: https://doi.org/10.1007/978-3-030-28483-1_1

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-030-28482-4

  • Online ISBN: 978-3-030-28483-1

  • eBook Packages: EducationEducation (R0)