Tools
We introduce here a list of tools that might be useful in the task.
Note that the list is non-exhaustive. Any recommendation from participants is welcome.
Tools Introduced by Task Organizer
- docs2harvest : Tool for parsing html / xhtml documents and generate harvest files with the Content Math data only. (https://github.com/KWARC/mws)
- mathml-converter : Tool for converting MathML into keywords(http://code.google.com/p/mathml-converter/)
- MathJax : Javascript to render math formulae on a display (http://www.mathjax.org/)
- PlaneText : Toolfor Bridging XML/XHTML Documents and NLP Tools (http://kmcs.nii.ac.jp/planetext/)
The following tools are used in the task.
- LaTeXML : A LaTeX to MathML converter. (http://dlmf.nist.gov/LaTeXML/)
- SEPIA : Standard Evaluation Package for Information Access Systems. (https://code.google.com/p/sepia/) (used with MathML extension)
- trec_eval : A program to evaluate TREC results. (http://trec.nist.gov/trec_eval/) (Notes on Trec Eval)
Tools Introduced by Task Participants
- Tangent : Math search engine
- min : Math entry and search interface
- Other source code and tools created by RIT dprl lab