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

ENGLAND, Matthew, James H. DAVENPORT, Andrea KOHLHASE, Michael KOHLHASE, Paul LIBBRECHT, Walther NEUPER, Pedro QUARESMA, Alan P. SEXTON, Petr SOJKA, Josef URBAN and Stephen M. WATT. Joint Proceedings of the MathUI, OpenMath and ThEdu Workshops and Work in Progress track at CICM co-located with Conferences on Intelligent Computer Mathematics (CICM 2014). Coimbra, Portugal: CEUR Vol. 1186 editors, 2014, 200 pp.

Basic information

• Original name: Joint Proceedings of the MathUI, OpenMath and ThEdu Workshops and Work in Progress track at CICM co-located with Conferences on Intelligent Computer Mathematics (CICM 2014)
• Authors: ENGLAND, Matthew (826 United Kingdom of Great Britain and Northern Ireland), James H. DAVENPORT (826 United Kingdom of Great Britain and Northern Ireland), Andrea KOHLHASE (276 Germany), Michael KOHLHASE (276 Germany), Paul LIBBRECHT (276 Germany), Walther NEUPER (40 Austria), Pedro QUARESMA (620 Portugal), Alan P. SEXTON (826 United Kingdom of Great Britain and Northern Ireland), Petr SOJKA (203 Czech Republic, guarantor, belonging to the institution), Josef URBAN (528 Netherlands) and Stephen M. WATT (124 Canada).
• Edition: Coimbra, Portugal, 200 pp. 2014.
• Publisher: CEUR Vol. 1186 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/14:00077611
• Organization unit: Faculty of Informatics
• Keywords (in Czech): mathematika;automatizace dokazování;CICM; MathUI;OpenMath;ThEdu;DML;Calculemus;MKM
• Keywords in English: mathematics;automated;CICM; MathUI;OpenMath;ThEdu;DML;Calculemus;MKM
• Tags: International impact, Reviewed

Abstract

This joint volume gathers together papers with those contributed to the workshops held at CICM 2014. The Proceedings consists of 29 papers accepted for the following Workshops and Work in Progress track at CICM 2014: -- The 9th Workshop on Mathematical User Interfaces (MathUI) -- The 26th OpenMath Workshop -- The 2014 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