Math informational retrieval (MIR) search engines are absent in the wide-spread production
use, even though documents in the STEM fields contain many mathematical formulae, which …

Math informational retrieval (MIR) search engines are absent in the wide-spread production
use, even though documents in the STEM fields contain many mathematical formulae, which …

Digital mathematical libraries (DMLs) such as arXiv, Numdam, and EuDML contain mainly
documents from STEM fields, where mathematical formulae are often more important than …

This paper surveys approaches and systems for searching mathematical formulae in
mathematical corpora and on the web. The design and architecture of our MIaS (Math …

We present and analyze the results of the MATHWEBSEARCH system in the NTCIR-10
Math pilot task, a challenge in mathematical information retrieval. MATHWEBSEARCH is a …

Mathematical Information Retrieval (MIR) has been actively studied in recent years and
many fruitful results have emerged. Among those, the Approach Zero system is one of the …

Abstract top We demonstrate searching of mathematical expressions in technical digital
libraries on a MREC collection of 439,423 real scientific documents with more than 158 …

This paper describes and summarizes experience of Masaryk University Math Information
Retrieval team (MIRMU) with the mathematical search developed and performed for the …

We are designing and developing a web user interface for digital mathematics libraries
called WebMIaS. It allows queries to be expressed by mathematicians through a faceted …

Neural retrievers have been shown to be effective for math-aware search. Their ability to
cope with math symbol mismatches, to represent highly contextualized semantics, and to …