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)

• 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
• MU Faculty or unit: Faculty of Informatics
• 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