Other formats:
BibTeX
LaTeX
RIS
@inproceedings{1075491,
author = {Formánek, David and Líška, Martin and Růžička, Michal and Sojka, Petr},
address = {Brno},
booktitle = {DML 2012: Towards a Digital Mathematics Library},
editor = {Petr Sojka, Michael Kohlhase},
keywords = {MathML normalization; canonicalization; digital mathematics libraries; DML; presentation MathML},
howpublished = {tištěná verze "print"},
language = {eng},
location = {Brno},
pages = {91-103},
publisher = {Masaryk University},
title = {Normalization of Digital Mathematics Library Content},
year = {2012}
}
TY - JOUR
ID - 1075491
AU - Formánek, David - Líška, Martin - Růžička, Michal - Sojka, Petr
PY - 2012
TI - Normalization of Digital Mathematics Library Content
PB - Masaryk University
CY - Brno
KW - MathML normalization
KW - canonicalization
KW - digital mathematics libraries
KW - DML
KW - presentation MathML
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 and Petr SOJKA. Normalization of Digital Mathematics Library Content. In Petr Sojka, Michael Kohlhase. \textit{DML 2012: Towards a Digital Mathematics Library}. Brno: Masaryk University. p.~91-103. ISSN~1613-0073. 2012.
|
