Intelligent Computer Mathematics - Autexier, Serge (Springer, 2017)