Intelligent Computer Mathematics : International Conference, CICM 2015, Washington,
DC, USA, July 13-17, 2015, Proceedings / edited by Manfred Kerber, Jacques Carette,
Cezary Kaliszyk, Florian Rabe, Volker Sorge. / Cham : Springer International Publishing
, 2015