MathMLCanEval – A web application for evaluating the MathML Canonicalizer
The development of the MathML Canonicalizer requires proper testing. To meet these needs, we have developed MathMLCanEval – a web application with the aim to create a large test database of mathematical formulae covering the entire MathML 3.0 Presentation markup. We use the database to evaluate the correctness and effectiveness of the MathML Canonicalizer.
Citing MathMLCanEval
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},
}