Intelligent Computer Mathematics - Cezary Kaliszyk, Edwin Brady, Andrea Kohlhase, Claudio Sacerdoti Coen (Springer, 2019)