Joint Proceedings of the MathUI, OpenMath, PLMMS and ThEdu Workshops and Work in Progress at CICM co-located with Conferences on Intelligent Computer Mathematics (CICM 2013)

Warning

This publication doesn't include Faculty of Arts. It includes Faculty of Informatics. Official publication website can be found on muni.cz.

Authors	LANGE Christoph ASPINALL David CARETTE Jacques DAVENPORT James KOHLHASE Andrea KOHLHASE Michael LIBBRECHT Paul QUARESMA Pedro RABE Florian SOJKA Petr WHITESIDE Iain WINDSTEIGER Wolfgang
Year of publication	2013
Type	Editing of thematic compilation, editing of monothematic issue of profesional journal
MU Faculty or unit	Faculty of Informatics
Citation	LANGE, Christoph; David ASPINALL; Jacques CARETTE; James DAVENPORT; Andrea KOHLHASE; Michael KOHLHASE; Paul LIBBRECHT; Pedro QUARESMA; Florian RABE; Petr SOJKA; Iain WHITESIDE and Wolfgang WINDSTEIGER. Joint Proceedings of the MathUI, OpenMath, PLMMS and ThEdu Workshops and Work in Progress at CICM co-located with Conferences on Intelligent Computer Mathematics (CICM 2013). Bath, UK: CEUR Vol. 1010 editors, 2013, 200 pp.
Description	The Proceedings consists of 28 papers accepted for the following Workshops and Work in Progress track at CICM 2013: -- The 8th Workshop on Mathematical User Interfaces (MathUI) -- The 25th OpenMath Workshop -- Workshop on Programming Languages for Mechanizes Mathematical Systems (PLMMS) -- The 2th Workshop on Theorem proving components for Educational software (ThEdu) -- The Work in Progress Section of the CICM
Related projects:	The European Digital Mathematics Library Zastoupení ČR v European Research Consortium for Informatics and Mathematics