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 …

Given the increasing number of livestreaming videos, automatic speech recognition and
post-processing for livestreaming video transcripts are crucial for efficient data management …

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 …

Purpose This paper aims to present an open source math-aware Question Answering
System based on Ask Platypus. Design/methodology/approach The system returns as a …

Extending machine reading approaches to extract mathematical concepts and their
descriptions is useful for a variety of tasks, ranging from mathematical information retrieval to …

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 …

In natural language, words and phrases themselves imply the semantics. In contrast, the
meaning of identifiers in mathematical formulae is undefined. Thus scientists must study the …

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 …