CARETTE, Jacques, David ASPINALL, Christoph LANGE, Petr SOJKA a Wolfgang WINDSTEIGER. Intelligent Computer Mathematics MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings. In LNCS/LNAI Volume 7961. první. Bath: Springer, 2013. 384 s. ISBN 978-3-642-39319-8. doi:10.1007/978-3-642-39320-4.
Další formáty:   BibTeX LaTeX RIS
Základní údaje
Originální název Intelligent Computer Mathematics MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings
Autoři CARETTE, Jacques (124 Kanada), David ASPINALL (826 Spojené království), Christoph LANGE (826 Spojené království), Petr SOJKA (203 Česká republika, garant, domácí) a Wolfgang WINDSTEIGER (40 Rakousko).
Vydání první. Bath, LNCS/LNAI Volume 7961, 384 s. 2013.
Nakladatel Springer
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 Spojené království
Utajení není předmětem státního či obchodního tajemství
WWW Proceedings SpringerLink PDF
Kód RIV RIV/00216224:14330/13:00068784
Organizační jednotka Fakulta informatiky
ISBN 978-3-642-39319-8
Doi http://dx.doi.org/10.1007/978-3-642-39320-4
Klíčová slova česky znalostní management matematiky; inteligentní počítačová matematika; DML; MKM; AISC; Calculemus
Klíčová slova anglicky mathematics knowledge management; Intelligent Computer Mathematics; DML; MKM; AISC; Calculemus
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:21.
Anotace
This book constitutes the joint refereed proceedings of the 20th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2013, 6th International Workshop on Digital Mathematics Libraries, DML 2013, Systems and Projects, held in Bath, UK as part of CICM 2013, the Conferences on Intelligent Computer Mathematics. The 7 revised full papers out of 18 submissions for MKM 2013, 5 revised full papers out of 12 submissions for Calculemus 2013, 6 revised full papers out of 8 submissions for DML 2013, and 12 revised full papers out of 16 submissions for Systems and Project track presented together with 3 invited talks were carefully reviewed and selected, resulting in 33 papers from a total of 73 submissions.
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: 31. 3. 2020 19:11