Normalization of Digital Mathematics Library Content

Warning

This publication doesn't include Faculty of Education. It includes Faculty of Informatics. Official publication website can be found on muni.cz.
Authors

FORMÁNEK David LÍŠKA Martin RŮŽIČKA Michal SOJKA Petr

Year of publication 2012
Type Article in Proceedings
Conference DML 2012: Towards a Digital Mathematics Library
MU Faculty or unit

Faculty of Informatics

Citation
Field Informatics
Keywords MathML normalization; canonicalization; digital mathematics libraries; DML; presentation MathML
Description 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.
Related projects:

You are running an old browser version. We recommend updating your browser to its latest version.