The art of mathematics retrieval
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 …
retrieval is presented, and design decisions are discussed. We argue for an approach based …
Indexing and searching mathematics in digital libraries: architecture, design and scalability issues
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 corpora and on the web. The design and architecture of our MIaS (Math …
MIaS: math-aware retrieval in digital mathematical libraries
Digital mathematical libraries (DMLs) such as arXiv, Numdam, and EuDML contain mainly
documents from STEM fields, where mathematical formulae are often more important than …
documents from STEM fields, where mathematical formulae are often more important than …
Web interface and collection for mathematical retrieval: Webmias and mrec
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 …
libraries on a MREC collection of 439,423 real scientific documents with more than 158 …
Retrieving documents with mathematical content
Many documents with mathematical content are published on the Web, but conventional
search engines that rely on keyword search only cannot fully exploit their mathematical …
search engines that rely on keyword search only cannot fully exploit their mathematical …
Math information retrieval: user requirements and prototype implementation
We report on the user requirements study and preliminary implementation phases in
creating a digital library that indexes and retrieves educational materials on math. We first …
creating a digital library that indexes and retrieves educational materials on math. We first …
Improving mathematics retrieval
Despite the popularity of storing mathematical objects on the web, searching for
mathematical expressions is extremely limited. Conventional retrieval systems are …
mathematical expressions is extremely limited. Conventional retrieval systems are …
[PDF][PDF] Math indexer and searcher under the hood: History and development of a winning strategy
This paper describes and summarizes experience of Masaryk University Math Information
Retrieval team (MIRMU) with the mathematical search developed and performed for the …
Retrieval team (MIRMU) with the mathematical search developed and performed for the …
A mathematics retrieval system for formulae in layout presentations
The semantics of mathematical formulae depend on their spatial structure, and they usually
exist in layout presentations such as PDF, LaTeX, and Presentation MathML, which …
exist in layout presentations such as PDF, LaTeX, and Presentation MathML, which …
A new mathematics retrieval system
The Web contains a large collection of documents, some with mathematical expressions.
Because mathematical expressions are objects with complex structures and rather few …
Because mathematical expressions are objects with complex structures and rather few …