## CanonMath: MathML Normalization

Advanced MathML search engine working with MathML needs a tool for picking canonical representant of MathML encoding of semantically equal formulae. We are developing our own tool – MathML Canonicalizer and web application for its testing.

###### Go to: navigation | start of page | end of page

## MathML Canonicalizer

MathML Canonicalizer is a tool for unification of different forms of MathML codding of equal formulae. It is being primary developed to meet the needs of our mathematical search engine MIaS. However, it might be useful as a general purpose tool for MathML encoding normalization.

Principles are described in our publications. Changes made by the tool can be seen in sample reports of normalization of DML-CZ paper. Normalization was performed on input XML produced by two different LaTeX to XML translators: Tralics and LaTeXML.

###### Go to: navigation | start of page | end of page

## MathML Unificator

MathML Unificator is a tool which performs simple MathML (Mathematical Markup Language) unification as proposed in RŮŽIČKA, Michal, Petr SOJKA and Martin LÍŠKA. Math Indexer and Searcher under the Hood: History and Development of a Winning Strategy. In Noriko Kando, Hideo Joho, Kazuaki Kishida. Proceedings of the 11th NTCIR Conference on Evaluation of Information Access Technologies. Tokyo: National Institute of Informatics, 2-1-2 Hitotsubashi, Chiyoda-ku, Tokyo 101-8430 Japan, 2014. p. 127-134, 8 pp. ISBN 978-4-86049-065-2 .

###### Go to: navigation | start of page | end of page

## MathML Canonicalizer Evaluation

Development of MathML Canonicalizer requires proper testing. To meet these need we are developing web application with the aim to create a large test database of mathematical formulae covering the entire MathML 3.0 Presentation markup. The web application will enable effective use of the database to evaluate the correctness and effectiveness of MathML Canonicalizer over this database and allows us to implement MathML Canonicalizer improvements based on these findings.

###### Go to: navigation | start of page | end of page

## Cite as

### Text

FORMÁNEK, David, Martin LÍŠKA, Michal RŮŽIČKA and Petr SOJKA.
Normalization of Digital Mathematics Library Content.
*CEUR Workshop Proceedings*,
Aachen, 2012,
vol. 921, October,
pp. 91–103,
ISSN 1613-0073.

### BibTeX

@inproceedings{ceur:921:05, title = {Normalization of Digital Mathematics Library Content}, author = {David Form{\'a}nek and Martin L{\'\i}{\v s}ka and Michal R{\r u}{\v z}i{\v c}ka and Petr Sojka}, pages = {91--103}, url = {http://ceur-ws.org/Vol-921/wip-05.pdf}, crossref = {ceur:921}, } @proceedings{ceur:921, booktitle = {24th OpenMath Workshop, 7th Workshop on Mathematical User Interfaces (MathUI), and Intelligent Computer Mathematics Work in Progress}, title = {Joint Proceedings of the 24th OpenMath Workshop, the 7th Workshop on Mathematical User Interfaces (MathUI), and the Work in Progress Section of the Conference on Intelligent Computer Mathematics}, year = 2012, editor = {James Davenport and Johan Jeuring and Christoph Lange and Paul Libbrecht}, number = 921, series = {CEUR Workshop Proceedings}, address = {Aachen}, issn = {1613-0073}, url = {http://ceur-ws.org/Vol-921/}, venue = {Bremen, Germany}, eventdate = {2012-07-09/2012-07-13}, }

###### Go to: navigation | start of page | end of page

## Selected Publications

- RŮŽIČKA, Michal, Petr SOJKA a Martin LÍŠKA. Math Indexer and Searcher under the Hood: Fine-Tuning Query Expansion and Unification Strategies. In Proceedings of the 12th NTCIR Conference on Evaluation of Information Access Technologies. Tokyo: National Institute of Informatics, 2-1-2 Hitotsubashi, Chiyoda-ku, Tokyo 101-8430 Japan, 2016. 7 pp.
- RŮŽIČKA, Michal, Petr SOJKA and Martin LÍŠKA. Math Indexer and Searcher under the Hood: History and Development of a Winning Strategy. In Noriko Kando, Hideo Joho, Kazuaki Kishida. Proceedings of the 11th NTCIR Conference on Evaluation of Information Access Technologies. Tokyo: National Institute of Informatics, 2-1-2 Hitotsubashi, Chiyoda-ku, Tokyo 101-8430 Japan, 2014. p. 127-134, 8 pp. ISBN 978-4-86049-065-2.
- RŮŽIČKA, Michal. Maths Information Retrieval for Digital Libraries. Intelligent Computer Mathematics CICM 2014 Doctoral Programme Presentation. 2014.
- FORMÁNEK, David, Martin LÍŠKA, Michal RŮŽIČKA and Petr SOJKA. Normalization of Digital Mathematics Library Content. CEUR Workshop Proceedings, Aachen: Neuveden, 2012, roč. 921, October, s. 91-103. ISSN 1613-0073.
- SOJKA, Petr, Michal RŮŽIČKA, Maroš KUCBEL and Martin JARMAR. Accessibility Issues in Digital Mathematical Libraries. In Proceedings of the Conference Universal Learning Design 2013. Brno: Masaryk University, 2013. s. 89-97, 9 s. ISBN 978-80-210-6270-2.
- SOJKA, Petr, Martin LÍŠKA and Michal RŮŽIČKA. Building Corpora of Technical Texts : Approaches and Tools. In Aleš Horák, Pavel Rychlý. Fifth Workshop on Recent Advances in Slavonic Natural Languages Processing, RASLAN 2011. první. Brno: Tribun EU, 2011. s. 71--82, 11 s. ISBN 978-80-263-0077-9.