Intelligent Computer Mathematics - Kerber; Carette, Jacques; Kaliszyk, Cezary; Rabe, Florian; Sorge, Volker (Springer International Publishing, 2015)