Canonicalizes different MathML encodings of equivalent formulae
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
.circleci
doc
src
.gitignore
README.md
nb-configuration.xml
nbactions.xml
pom.xml

README.md

MathMLCan – Canonicalization of different MathML encodings of equivalent formulae

CircleCI

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