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