Detailed Information on Publication Record
2014
Intelligent Computer Mathematics, International Conference, CICM 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings
WATT, Stephen M., Alan P. SEXTON, James H. DAVENPORT, Petr SOJKA, Josef URBAN et. al.Basic information
Original name
Intelligent Computer Mathematics, International Conference, CICM 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings
Authors
WATT, Stephen M. (124 Canada), Alan P. SEXTON (826 United Kingdom of Great Britain and Northern Ireland), James H. DAVENPORT (826 United Kingdom of Great Britain and Northern Ireland), Petr SOJKA (203 Czech Republic, guarantor, belonging to the institution) and Josef URBAN (528 Netherlands)
Edition
první. Coimbra, LNCS/LNAI Volume 8543, 477 pp. 2014
Publisher
Springer
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
United Kingdom of Great Britain and Northern Ireland
Confidentiality degree
není předmětem státního či obchodního tajemství
References:
RIV identification code
RIV/00216224:14330/14:00077610
Organization unit
Faculty of Informatics
ISBN
978-3-319-08433-6
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
Tags
International impact, Reviewed
Změněno: 2/12/2014 23:45, doc. RNDr. Petr Sojka, Ph.D.
Abstract
V originále
This book constitutes the joint refereed proceedings of Calculemus 2014, Digital Mathematics Libraries, DML 2014, Mathematical Knowledge Management, MKM 2014, and Systems and Projects, S&P 2014, held in Coimbra, Portugal, during July 7-11, 2014 as four tracks of CICM 2014, the Conferences on Intelligent Computer Mathematics. The 26 full papers and 9 Systems and Projects descriptions presented together with 5 invited talks were carefully reviewed and selected from a total of 55 submissions. The Calculemus track of CICM examines the integration of symbolic computation and mechanized reasoning. The Digital Mathematics Libraries track - evolved from the DML workshop series - features math-aware technologies, standards, algorithms and processes towards the fulfillment of the dream of a global DML. The Mathematical Knowledge Management track of CICM is concerned with all aspects of managing mathematical knowledge in the informal, semi-formal, and formal settings. The Systems and Projects track presents short descriptions of existing systems or on-going projects in the areas of all the other tracks of the conference. Content Level » Research Keywords » formal methods - machine learning - natural language processing - search interface - similarity measures - support vector machine - theorem proving and SAT solving Related subjects » Artificial Intelligence - Database Management & Information Retrieval - Theoretical Computer Science
Links
LG13010, research and development project |
| ||
250503, interní kód MU |
|