Intelligent Computer Mathematics MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings - Carette, Jacques; Aspinall, David; Lange, Christoph; Sojka, Petr; Windsteiger, Wolfgang (Springer Berlin Heidelberg : Imprint: Springer, 2013)