Intelligent Computer Mathematics : International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings. - Kerber, Manfred (Herausgeber); Carette, Jacques (Herausgeber); Kaliszyk, Cezary (Herausgeber); Rabe, Florian (Herausgeber); Sorge, Volker (Herausgeber) (Lecture Notes in Artificial Intelligence, 2015)