Proof Technology in Mathematics Research and Teaching

• Corporate Author: SpringerLink (Online service)
• Other Authors: Hanna, Gila (Editor, http://id.loc.gov/vocabulary/relators/edt), Reid, David A. (Editor, http://id.loc.gov/vocabulary/relators/edt), de Villiers, Michael (Editor, http://id.loc.gov/vocabulary/relators/edt)
• Format: Electronic eBook
• Language: English
• Published: Cham : Springer International Publishing : Imprint: Springer, 2019.
• Edition: 1st ed. 2019.
• Series: Mathematics Education in the Digital Era, 14
• Subjects: Mathematics-Study and teaching .; Educational technology.; Proof theory.; Critical Thinking.; Teaching.; Mathematics Education.; Technology and Digital Education.; Structures and Proofs.; Teaching and Teacher Education.

This book presents chapters exploring the most recent developments in the role of technology in proving. The full range of topics related to this theme are explored, including computer proving, digital collaboration among mathematicians, mathematics teaching in schools and universities, and the use...