Intelligent Computer Mathematics, International Conference,
CICM 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings

s 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:

SpringerLink PDF Proceedings

RIV identification code

RIV/00216224:14330/14:00077610

Organization unit

Faculty of Informatics

ISBN

978-3-319-08433-6

DOI

http://dx.doi.org/10.1007/978-3-319-08434-3

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

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

Name: Zastoupení ČR v European Research Consortium for Informatics and Mathematics (Acronym: ERCIM-CZ)

Investor: Ministry of Education, Youth and Sports of the CR

250503, interní kód MU

Name: The European Digital Mathematics Library (Acronym: EuDML)

Investor: European Union

Citovat

WATT, Stephen M., Alan P. SEXTON, James H. DAVENPORT, Petr SOJKA and Josef URBAN. Intelligent Computer Mathematics, International Conference, CICM 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings. In LNCS/LNAI Volume 8543. první. Coimbra: Springer, 2014, 477 pp. ISBN 978-3-319-08433-6. Available from: https://dx.doi.org/10.1007/978-3-319-08434-3.

@misc{1211595,
   author = {Watt, Stephen M. and Sexton, Alan P. and Davenport, James H. and Sojka, Petr and Urban, Josef},
   address = {Coimbra},
   booktitle = {LNCS/LNAI Volume 8543},
   doi = {http://dx.doi.org/10.1007/978-3-319-08434-3},
   edition = {první},
   keywords = {mathematics knowledge management; Intelligent Computer Mathematics; DML; MKM; AISC; Calculemus},
   language = {eng},
   location = {Coimbra},
   isbn = {978-3-319-08433-6},
   publisher = {Springer},
   title = {Intelligent Computer Mathematics, International Conference, CICM 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings},
   url = {http://link.springer.com/book/10.1007/978-3-319-08434-3},
   year = {2014}
}

TY  - JOUR
ID  - 1211595
AU  - Watt, Stephen M. - Sexton, Alan P. - Davenport, James H. - Sojka, Petr - Urban, Josef
PY  - 2014
TI  - Intelligent Computer Mathematics, International Conference, CICM 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings
PB  - Springer
CY  - Coimbra
SN  - 9783319084336
KW  - mathematics knowledge management
KW  - Intelligent Computer Mathematics
KW  - DML
KW  - MKM
KW  - AISC
KW  - Calculemus
UR  - http://link.springer.com/book/10.1007/978-3-319-08434-3
L2  - http://link.springer.com/book/10.1007/978-3-319-08434-3
N2  - 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
ER  -

WATT, Stephen M., Alan P. SEXTON, James H. DAVENPORT, Petr SOJKA and Josef URBAN. Intelligent Computer Mathematics, International Conference, CICM 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings. In \textit{LNCS/LNAI Volume 8543}. první. Coimbra: Springer, 2014, 477 pp. ISBN~978-3-319-08433-6. Available from: https://dx.doi.org/10.1007/978-3-319-08434-3.

Detailed Information on Publication Record