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)

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. 200 pp. 2013.

Basic information

• Original name: 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 (826 United Kingdom of Great Britain and Northern Ireland), David ASPINALL (826 United Kingdom of Great Britain and Northern Ireland), Jacques CARETTE (124 Canada), James DAVENPORT (826 United Kingdom of Great Britain and Northern Ireland), Andrea KOHLHASE (276 Germany), Michael KOHLHASE (276 Germany), Paul LIBBRECHT (276 Germany), Pedro QUARESMA (620 Portugal), Florian RABE (276 Germany), Petr SOJKA (203 Czech Republic, guarantor, belonging to the institution), Iain WHITESIDE (826 United Kingdom of Great Britain and Northern Ireland) and Wolfgang WINDSTEIGER (40 Austria).
• Edition: Bath, UK, 200 pp. 2013.
• Publisher: CEUR Vol. 1010 editors

Other information

• Original language: English
• Type of outcome: Editing of thematic compilation, editing of monothematic issue of professional journal
• Field of Study: 10201 Computer sciences, information science, bioinformatics
• Country of publisher: Czech Republic
• Confidentiality degree: is not subject to a state or trade secret
• WWW: Proc URL, ISSN 1613-0073
• RIV identification code: RIV/00216224:14330/13:00068842
• Organization unit: Faculty of Informatics
• Keywords (in Czech): mathematika;automatizace dokazování;CICM; MathUI;OpenMath;PLMMS;ThEdu;DML;Calculemus;MKM
• Keywords in English: mathematics;automated;CICM; MathUI;OpenMath;PLMMS;ThEdu;DML;Calculemus;MKM
• Tags: International impact, Reviewed

Abstract

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

Links

• LG13010, research and development project: Name: Zastoupení ČR v European Research Consortium for Informatics and Mathematics (Acronym: ERCIM-CZ)

Investor: Ministry of Education, Youth and Sports of the CR

• 250503, interní kód MU: Name: The European Digital Mathematics Library (Acronym: EuDML)

Investor: European Union