Další formáty:
BibTeX
LaTeX
RIS
@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. Online. 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. [citováno 2024-04-24]
|
