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)

s 2013

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 et. al.

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

Language

English

Type of outcome

Editorství tematického sborníku, editorství monotematického čísla odborného časopisu

Field of Study

10201 Computer sciences, information science, bioinformatics

Country of publisher

Czech Republic

Confidentiality degree

není předmětem státního či obchodního tajemství

References:

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

Abstract

V originále

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

Citovat

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.

@misc{1115951,
   author = {Lange, Christoph and Aspinall, David and Carette, Jacques and Davenport, James and Kohlhase, Andrea and Kohlhase, Michael and Libbrecht, Paul and Quaresma, Pedro and Rabe, Florian and Sojka, Petr and Whiteside, Iain and Windsteiger, Wolfgang},
   address = {Bath, UK},
   keywords = {mathematics;automated;CICM; MathUI;OpenMath;PLMMS;ThEdu;DML;Calculemus;MKM},
   language = {eng},
   location = {Bath, UK},
   publisher = {CEUR Vol. 1010 editors},
   title = {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)},
   url = {http://ceur-ws.org/Vol-1010/},
   year = {2013}
}

TY  - JOUR
ID  - 1115951
AU  - Lange, Christoph - Aspinall, David - Carette, Jacques - Davenport, James - Kohlhase, Andrea - Kohlhase, Michael - Libbrecht, Paul - Quaresma, Pedro - Rabe, Florian - Sojka, Petr - Whiteside, Iain - Windsteiger, Wolfgang
PY  - 2013
TI  - 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)
PB  - CEUR Vol. 1010 editors
CY  - Bath, UK
KW  - mathematics;automated;CICM
KW  - MathUI;OpenMath;PLMMS;ThEdu;DML;Calculemus;MKM
UR  - http://ceur-ws.org/Vol-1010/
L2  - http://ceur-ws.org/Vol-1010/
N2  - 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
ER  -

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. \textit{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.

Detailed Information on Publication Record