Math indexer and searcher web interface: Towards fulfillment of mathematicians' information needs
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 …
called WebMIaS. It allows queries to be expressed by mathematicians through a faceted …
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 …
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 …
Exploiting semantic annotations in math information retrieval
P Sojka - Proceedings of the fifth workshop on Exploiting …, 2012 - dl.acm.org
This paper describes exploitation of semantic annotations in the design and architecture of
MIaS (Math Indexer and Searcher) system for mathematics retrieval. Basing on the claim that …
MIaS (Math Indexer and Searcher) system for mathematics retrieval. Basing on the claim that …
[PDF][PDF] MathWebSearch 0.4, a semantic search engine for mathematics
M Kohlhase, S Anca, C Jucovschi… - Manuscript at http …, 2008 - matracas.org
We present a search engine for mathematical formulae. The MathWebSearch system
harvests the web for content representations of formulae and indexes them with substitution …
harvests the web for content representations of formulae and indexes them with substitution …
[PDF][PDF] Math Information Retrieval for Digital Libraries
M Růžička - 2017 - is.muni.cz
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) …
ic documents. Documents in STEM (science, technology, engineering and mathematics) …
Augmenting presentation mathml for search
BR Miller, A Youssef - … : 9th International Conference, AISC 2008, 15th …, 2008 - Springer
The ubiquity of text search is both a boon and bane for the quest for math search. A bane in
that user's expectations are high regarding accuracy, in-context highlighting and similar …
that user's expectations are high regarding accuracy, in-context highlighting and similar …
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 …
Mathwebsearch 0.5: Scaling an open formula search engine
M Kohlhase, BA Matican, CC Prodescu - … and Projects, Held as Part of …, 2012 - Springer
MathWebSearch is an open-source, open-format, content-oriented search engine for
mathematical formulae. It is a complete system capable of crawling, indexing, and querying …
mathematical formulae. It is a complete system capable of crawling, indexing, and querying …
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 …