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.

Základní údaje

Originální název

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 (826 Velká Británie a Severní Irsko), David ASPINALL (826 Velká Británie a Severní Irsko), Jacques CARETTE (124 Kanada), James DAVENPORT (826 Velká Británie a Severní Irsko), Andrea KOHLHASE (276 Německo), Michael KOHLHASE (276 Německo), Paul LIBBRECHT (276 Německo), Pedro QUARESMA (620 Portugalsko), Florian RABE (276 Německo), Petr SOJKA (203 Česká republika, garant, domácí), Iain WHITESIDE (826 Velká Británie a Severní Irsko) a Wolfgang WINDSTEIGER (40 Rakousko)

Vydání

Bath, UK, 200 s. 2013

Nakladatel

CEUR Vol. 1010 editors

Další údaje

Jazyk

angličtina

Typ výsledku

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

Obor

10201 Computer sciences, information science, bioinformatics

Stát vydavatele

Česká republika

Utajení

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

Odkazy

Proc URL, ISSN 1613-0073

Kód RIV

RIV/00216224:14330/13:00068842

Organizační jednotka

Fakulta informatiky

Klíčová slova česky

mathematika;automatizace dokazování;CICM; MathUI;OpenMath;PLMMS;ThEdu;DML;Calculemus;MKM

Klíčová slova anglicky

mathematics;automated;CICM; MathUI;OpenMath;PLMMS;ThEdu;DML;Calculemus;MKM

Příznaky

Mezinárodní význam, Recenzováno

Změněno: 28. 4. 2014 06:22, RNDr. Pavel Šmerk, Ph.D.

Anotace

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

Návaznosti

LG13010, projekt VaV

Název: Zastoupení ČR v European Research Consortium for Informatics and Mathematics (Akronym: ERCIM-CZ)

Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Zastoupení ČR v European Research Consortium for Informatics and Mathematics

250503, interní kód MU

Název: The European Digital Mathematics Library (Akronym: EuDML)

Investor: Evropská unie, The European Digital Mathematics Library

Citovat

LANGE, Christoph, David ASPINALL, Jacques CARETTE, James DAVENPORT, Andrea KOHLHASE, Michael KOHLHASE, Paul LIBBRECHT, Pedro QUARESMA, Florian RABE, Petr SOJKA, Iain WHITESIDE a 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 s.

@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 a 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 s.

Podrobný výpis o publikaci