CEUR Workshop Proceedings (http://ceur-ws.org/) is a free open-access publication service and these joint proceedings form CEUR vol. 1186. This is the third collection of CICM workshop and Work in Progress papers published with CEUR-WS, following vol. 1010 (CICM 2013) and vol. 921 (CICM 2012). The workshop papers were edited by their respective organisers and the Work In Progress papers by the General CICM PC Chair and the four CICM track PC Chairs. Please see the individual prefaces for more details. Matthew England: Joint volume editor James H. Davenport: Calculemus Track Chair and OpenMath editor Andrea Kohlhase: MathUI editor Michael Kohlhase: OpenMath editor Paul Libbrecht: MathUI editor Walther Neuper: ThEdu editor Pedro Quaresma: ThEdu editor Alan P. Sexton: Systems & Projects CICM Track Chair Petr Sojka: Digital Mathematical Libraries CICM Track Chair Josef Urban: Mathematical Knowledge Management CICM Track Chair Stephen M. Watt: General CICM PC Chair Thanks to all those who served on the program committee or reviewed the work in this volume, and to the organisers of CICM 2014. We acknowledge the publisher CEUR-WS, and the authors of the EasyChair software and ceur-make scripts which greatly aided the publication of these proceedings.
Editors Acknowledgements