Intelligent Computer Mathematics - Herman Geuvers, Matthew England, Osman Hasan, Florian Rabe, Olaf Teschke (Springer, 2017)