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 …

Mathematical formulae are essential in science, but face challenges of ambiguity, due to the
use of a small number of identifiers to represent an immense number of concepts …

We introduce a task consisting in matching a proof to a given mathematical statement. The
task fits well within current research on Mathematical Information Retrieval and, more …

Mathematical concepts and formulations play a fundamental role in many scientific domains.
As such, the use of mathematical expressions represents a promising method of interlinking …

Current mathematical search systems allow math expressions within a document to be
queried using math expressions and keywords. To accept such queries, math search …

Abstract Information about the meaning of mathematical variables in text is useful in NLP/IR
tasks such as symbol disambiguation, topic modeling and mathematical information retrieval …

Nearly all of the recent mathematical literature, and much of the old literature, are online and
mostly in natural-language form. Therefore, math content processing presents some of the …

We present an approach to mathematical information retrieval (MIR) that exploits a special
kind of technical terminology, referred to as a mathematical type. In this paper, we present …

Abstract Mathematical Information Retrieval (MIR) is a research area that focuses on the
Information Need (IN) of the Science, Technology, Engineering and Mathematics (STEM) …

Abstract top We present three corpus-based studies on symbol declaration in mathematical
writing. We focus on simple object denoting symbols which may be part of larger …