Proof Technology in Mathematics Research and Teaching edited by Gila Hanna, David A. Reid, Michael de Villiers.
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...
Full description
Saved in: