Intelligent Computer Mathematics -- 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects

JEURING, Johan, John A. CAMPBELL, Gabriel DOS REIS, Petr SOJKA, Makarius WENZEL and Volker SORGE. Intelligent Computer Mathematics -- 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects. In LNCS/LNAI Volume 7362. první. Bremen: Springer, 2012. ISBN 978-3-642-31373-8.

Basic information

• Original name: Intelligent Computer Mathematics -- 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects
• Authors: JEURING, Johan (528 Netherlands), John A. CAMPBELL (826 United Kingdom of Great Britain and Northern Ireland), Gabriel DOS REIS (840 United States of America), Petr SOJKA (203 Czech Republic, guarantor, belonging to the institution), Makarius WENZEL (276 Germany) and Volker SORGE (276 Germany).
• Edition: první. Bremen, LNCS/LNAI Volume 7362, 2012.
• Publisher: Springer

Other information

• Original language: English
• Type of outcome: Editing of thematic compilation, editing of monothematic issue of professional journal
• Field of Study: 10101 Pure mathematics
• Country of publisher: Germany
• Confidentiality degree: is not subject to a state or trade secret
• WWW: webová stránka konference
• RIV identification code: RIV/00216224:14330/12:00059796
• Organization unit: Faculty of Informatics
• ISBN: 978-3-642-31373-8
• Keywords (in Czech): znalostní management matematiky; inteligentní počítačová matematika; DML; MKM; AISC; Calculemus
• Keywords in English: mathematics knowledge management; Intelligent Computer Mathematics; DML; MKM; AISC; Calculemus

Abstract

Proceedings of Conference on Intelligent Computer Mathematics (CICM) consists of papers for DML, MKM, AISC, Calculemus and Systems and Project tracks. Contains 38 reviewed accepted papers and published in LNCS Springer series.

Links

• LA09016, research and development project: Name: Účast ČR v European Research Consortium for Informatics and Mathematics (ERCIM) (Acronym: ERCIM)

Investor: Ministry of Education, Youth and Sports of the CR, Czech Republic membership in the European Research Consortium for Informatics and Mathematics

• 250503, interní kód MU: Name: The European Digital Mathematics Library (Acronym: EuDML)

Investor: European Union