Intelligent Computer Mathematics - Michael Kohlhase, Moa Johansson, Bruce Miller, Leonardo de Moura, Frank Tompa (Springer, 2016)