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