Intelligent Computer Mathematics - Rabe, Florian (Springer, 2018)