Go to:

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

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

Relevant projects

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