Intelligent Computer Mathematics - Christoph Benzmüller, Bruce Miller (Springer, 2020)