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