Proof Technology in Mathematics Research and Teaching

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 of the internet as a site of proof learning.

Proving is sometimes thought to be the aspect of mathematical activity most resistant to the influence of technological change. While computational m...