Intelligent Computer Mathematics - Fairouz Kamareddine, Claudio Sacerdoti Coen (Springer, 2021)