Intelligent Computer Mathematics - Hutchison, David; Kanade, Takeo; Campbell, John; Carette, Jacques; Dos Reis, Gabriel; Sojka, Petr; Sorge, Volker; Wenzel, Makarius (Springer Berlin Heidelberg, 2012)