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)

• Autoři: LANGE Christoph; ASPINALL David; CARETTE Jacques; DAVENPORT James; KOHLHASE Andrea; KOHLHASE Michael; LIBBRECHT Paul; QUARESMA Pedro; RABE Florian; SOJKA Petr; WHITESIDE Iain; WINDSTEIGER Wolfgang
• Rok publikování: 2013
• Druh: Editorství tématického sborníku
• Fakulta / Pracoviště MU: Fakulta informatiky
• Popis: 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

Související projekty

• The European Digital Mathematics Library
• Zastoupení ČR v European Research Consortium for Informatics and Mathematics