MathMLCan – Canonicalization of different MathML encodings of equivalent formulae

MathMLCan is a tool which performs canonicalization of mathematical expressions written in MathML. It is being primary developed to meet the needs of our mathematical search engine MIaS. However, it is also useful as a general-purpose tool for MathML encoding normalization.

See the project wiki for more information.

Citing MathMLCan

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},
}