diff --git a/projects/arXMLiv.md b/projects/arXMLiv.md index 91a92317842a5bc7be16fae1fd93628206348e91..8fbb464431b15e739e4295d2cb3a910c2403cce6 100644 --- a/projects/arXMLiv.md +++ b/projects/arXMLiv.md @@ -30,9 +30,8 @@ translate it to XML and "HTML5 with [MathML](http://www.w3.org/TR/MathML/)" via semantics (see the [LLaMaPuN](/systems/llamapun/) project for details). The actual corpus processing (and distribution to hundreds of worker machines) is -performed by the [CorTeX](https://github.com/dginev/cortex) system; see the system -state/results: [old but complete](http://cortex.mathweb.org/corpus/arXMLiv), -[new system in Erlangen](https://corpora.mathweb.org/corpus/arxiv_1712/tex_to_html). +performed by the [CorTeX](https://github.com/dginev/cortex) system; see the [system +state/results on arXiv](https://corpora.mathweb.org/history/arxmliv/tex_to_html). Applications of this include a mathematical search engine [MathWebSearch](/systems/mws/): (live [demo on the arXMLiv data set](http://arxivsearch.mathweb.org)).