Intelligent Computer Mathematics - Florian Rabe, William M. Farmer, Grant O. Passmore, Abdou Youssef (Springer, 2018)