The aim of my thesis is to improve full-text search functionality in the digital libraries of scienti
ic documents. Documents in STEM (science, technology, engineering and mathematics) …

Full text search engines are inseparable part of everyday search for information on the
WWW. During the last years it became the main resource of mathematical knowledge …

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 …

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 …

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

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 …

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 …

The world of mathematical knowledge on the WWW has grown enormously. Despite the
clear importance of a mathematical search engine this research field had been abandoned …

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 …

As digital libraries of mathematical and scientific contents become available, it is essential to
have math‐aware search systems. The search systems must understand math symbols and …