Proof Technology in Mathematics Research and Teaching - Hanna, Gila; de Villiers, Michael; Reid, David A. (Springer International Publishing, 2019)