FORMÁNEK, David, Martin LÍŠKA, Michal RŮŽIČKA a Petr SOJKA. Normalization of Digital Mathematics Library Content. In CEUR Workshop Proceedings, Volume 921. Aachen: Neuveden, 2012, s. 91-103, 12 s. ISSN 1613-0073. |
Další formáty:
BibTeX
LaTeX
RIS
@inproceedings{986146, author = {Formánek, David and Líška, Martin and Růžička, Michal and Sojka, Petr}, address = {Aachen}, booktitle = {CEUR Workshop Proceedings, Volume 921}, keywords = {MathML normalization; canonicalization; digital mathematics libraries; DML; presentation MathML}, howpublished = {tištěná verze "print"}, language = {eng}, location = {Aachen}, pages = {91-103}, publisher = {Neuveden}, title = {Normalization of Digital Mathematics Library Content}, url = {http://ceur-ws.org/Vol-921/wip-05.pdf}, year = {2012} }
TY - JOUR ID - 986146 AU - Formánek, David - Líška, Martin - Růžička, Michal - Sojka, Petr PY - 2012 TI - Normalization of Digital Mathematics Library Content PB - Neuveden CY - Aachen KW - MathML normalization KW - canonicalization KW - digital mathematics libraries KW - DML KW - presentation MathML UR - http://ceur-ws.org/Vol-921/wip-05.pdf L2 - http://ceur-ws.org/Vol-921/wip-05.pdf N2 - Paper discusses the needs for data normalization in a Digital Mathematics Library (DML). Specifically, emphasis is given to canonicalizing formulae encoded in Presentation MathML notation which starts to be available in several DMLs and is used by DML applications. This is a prerequisite for advanced processing – namely math enabled fulltext searching or semantic filtering and automated classification. Different sources of MathML and their specifics are described. Several use cases of possible formulae canonicalization transformations are listed and discussed in detail. Findings are finally concluded and a design of a to-be-developed canonicalization tool is outlined. ER -
FORMÁNEK, David, Martin LÍŠKA, Michal RŮŽIČKA a Petr SOJKA. Normalization of Digital Mathematics Library Content. In \textit{CEUR Workshop Proceedings, Volume 921}. Aachen: Neuveden, 2012, s.~91-103, 12 s. ISSN~1613-0073.
|