Provides a web application for the evaluation of the MathML Canonicalizer
Switch branches/tags
Nothing to show
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
.circleci
docs
mathmlcaneval-backend
mathmlcaneval-dependencies
mathmlcaneval-frontend
testbase
.gitignore
LICENSE
README.md
pom.xml

README.md

MathMLCanEval – A web application for evaluating the MathML Canonicalizer

CircleCI

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