English

MIaS: Math-Aware Retrieval in Digital Mathematical Libraries

Information Retrieval 2018-08-29 v1

Abstract

Digital mathematical libraries (DMLs) such as arXiv, Numdam, and EuDML contain mainly documents from STEM fields, where mathematical formulae are often more important than text for understanding. Conventional information retrieval (IR) systems are unable to represent formulae and they are therefore ill-suited for math information retrieval (MIR). To fill the gap, we have developed, and open-sourced the MIaS MIR system. MIaS is based on the full-text search engine Apache Lucene. On top of text retrieval, MIaS also incorporates a set of tools for preprocessing mathematical formulae. We describe the design of the system and present speed, and quality evaluation results. We show that MIaS is both efficient, and effective, as evidenced by our victory in the NTCIR-11 Math-2 task.

Keywords

Cite

@article{arxiv.1808.09224,
  title  = {MIaS: Math-Aware Retrieval in Digital Mathematical Libraries},
  author = {Petr Sojka and Michal Růžička and Vít Novotný},
  journal= {arXiv preprint arXiv:1808.09224},
  year   = {2018}
}

Comments

This is the author's version of the work. It is posted here for your personal use. Not for redistribution. The definitive Version of Record was published in The 27th ACM International Conference on Information and Knowledge Management (CIKM '18), October 22-26, 2018, Torino, Italy, https://doi.org/10.1145/3269206.3269233

R2 v1 2026-06-23T03:46:02.929Z