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.
Další formáty:   BibTeX LaTeX RIS
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 Spojené království), David ASPINALL (826 Spojené království), Jacques CARETTE (124 Kanada), James DAVENPORT (826 Spojené království), 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 Spojené království) a Wolfgang WINDSTEIGER (40 Rakousko).
Vydání Bath, UK, 200 s. 2013.
Nakladatel CEUR Vol. 1010 editors
Další údaje
Originální 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í
WWW 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ěnil Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 28. 4. 2014 06:22.
Anotace
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 VaVNá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, INGO II (od projektů s počátkem řešení v roce 2011)
250503, interní kód MUNázev: The European Digital Mathematics Library (Akronym: EuDML)
Investor: Evropská unie, Rámcový program pro konkurenceschopnost a inovace (CIP)
VytisknoutZobrazeno: 5. 4. 2020 03:43