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 surveys approaches and systems for searching mathematical formulae in
mathematical corpora and on the web. The design and architecture of our MIaS (Math …

The design and architecture of MIaS (Math Indexer and Searcher), a system for mathematics
retrieval is presented, and design decisions are discussed. We argue for an approach based …

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 …

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

The recent global computerization and digitization trend has helped to increase the numbers
of documents with mathematical expressions on the Web. These mathematical expressions …

With the ever-increasing quantity and variety of data worldwide, the Web has become a rich
repository of mathematical formulae. This necessitates the creation of robust and scalable …

The Web contains a large collection of documents, some with mathematical expressions.
Because mathematical expressions are objects with complex structures and rather few …

We present and analyze the results of the MATHWEBSEARCH (MWS) system in the Math-2
task in the NTCIR-11 Information Retrieval challenge. MWS is a content-based full-text …

Despite the popularity of storing mathematical objects on the web, searching for
mathematical expressions is extremely limited. Conventional retrieval systems are …