Indexing and searching mathematics in digital libraries: architecture, design and scalability issues

P Sojka, M Líška - … Mathematics: 18th Symposium, Calculemus 2011, and …, 2011 - Springer
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 …

A survey on retrieval of mathematical knowledge

F Guidi, C Sacerdoti Coen - Mathematics in Computer Science, 2016 - Springer
A Survey on Retrieval of Mathematical Knowledge Page 1 Math.Comput.Sci. (2016) 10:409–427
DOI 10.1007/s11786-016-0274-0 Mathematics in Computer Science A Survey on Retrieval of …

[PDF][PDF] Math indexer and searcher under the hood: History and development of a winning strategy

M Ružicka, P Sojka, M Líška - Proceedings of the 11th NTCIR Conference …, 2014 - Citeseer
This paper describes and summarizes experience of Masaryk University Math Information
Retrieval team (MIRMU) with the mathematical search developed and performed for the …

MIaS: math-aware retrieval in digital mathematical libraries

P Sojka, M Růžička, V Novotný - Proceedings of the 27th ACM …, 2018 - dl.acm.org
Digital mathematical libraries (DMLs) such as arXiv, Numdam, and EuDML contain mainly
documents from STEM fields, where mathematical formulae are often more important than …

A survey on retrieval of mathematical knowledge

F Guidi, C Sacerdoti Coen - International Conference on Intelligent …, 2015 - Springer
A Survey on Retrieval of Mathematical Knowledge | SpringerLink Skip to main content
Advertisement SpringerLink Account Menu Find a journal Publish with us Track your research …

Rule based intelligent system verbalizing mathematical notation

A Bier, Z Sroczyński - Multimedia Tools and Applications, 2019 - Springer
An adaptive and adaptable multi-purpose math-to-speech translation system is proposed in
the paper. Along with the detailed presentation and design approach for the core math-to …

[图书][B] Augmenting mathematical formulae for more effective querying & efficient presentation

M Schubotz - 2017 - search.proquest.com
Abstract Mathematical Information Retrieval (MIR) is a research area that focuses on the
Information Need (IN) of the Science, Technology, Engineering and Mathematics (STEM) …

Combining text and formula queries in math information retrieval: Evaluation of query results merging strategies

M Líška, P Sojka, M Růžička - … of the First International Workshop on …, 2015 - dl.acm.org
Specific to Math Information Retrieval is combining text with mathematical formulae both in
documents and in queries. Rigorous evaluation of query expansion and merging strategies …

[PDF][PDF] Quo Vadis, Math Information Retrieval.

P Sojka, V Novotný, EF Ayetiran, D Lupták, M Stefánik - RASLAN, 2019 - nlp.fi.muni.cz
With the exponential growth of information in the digital form, information retrieval and
querying digital libraries is of paramount importance, and mathematical and technical STEM …

WebMIaS on Docker: Deploying Math-Aware Search in a Single Line of Code

D Lupták, V Novotný, M Štefánik, P Sojka - International Conference on …, 2021 - Springer
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 …