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. (Springer Berlin Heidelberg :, 2013)