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