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.

Základní údaje

Originální název

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

Autoři

WATT, Stephen M. (124 Kanada), Alan P. SEXTON (826 Velká Británie a Severní Irsko), James H. DAVENPORT (826 Velká Británie a Severní Irsko), Petr SOJKA (203 Česká republika, garant, domácí) a Josef URBAN (528 Nizozemské království)

Vydání

první. Coimbra, LNCS/LNAI Volume 8543, 477 s. 2014

Nakladatel

Springer

Další údaje

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

Velká Británie a Severní Irsko

Utajení

není předmětem státního či obchodního tajemství

Odkazy

SpringerLink PDF Proceedings

Kód RIV

RIV/00216224:14330/14:00077610

Organizační jednotka

Fakulta informatiky

ISBN

978-3-319-08433-6

DOI

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

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ěněno: 2. 12. 2014 23:45, doc. RNDr. Petr Sojka, Ph.D.

Anotace

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

Návaznosti

LG13010, projekt VaV

Ná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, Zastoupení ČR v European Research Consortium for Informatics and Mathematics

250503, interní kód MU

Název: The European Digital Mathematics Library (Akronym: EuDML)

Investor: Evropská unie, The European Digital Mathematics Library

Citovat

WATT, Stephen M., Alan P. SEXTON, James H. DAVENPORT, Petr SOJKA a 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 s. ISBN 978-3-319-08433-6. Dostupné z: 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 a 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 s. ISBN~978-3-319-08433-6. Dostupné z: https://dx.doi.org/10.1007/978-3-319-08434-3.

Podrobný výpis o publikaci