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 …
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 …
DOI 10.1007/s11786-016-0274-0 Mathematics in Computer Science A Survey on Retrieval of …
An assistive technology for braille users to support mathematical learning: a semantic retrieval system
Z Asebriy, S Raghay, O Bencharef - Symmetry, 2018 - mdpi.com
Mathematical learning from digital libraries and the web is a challenging problem for people
with visual impairments and blindness. In this paper, we focus on developing the …
with visual impairments and blindness. In this paper, we focus on developing the …
[HTML][HTML] Embedding and generalization of formula with context in the retrieval of mathematical information
Retrieval of mathematical information from scientific documents is one of the crucial tasks.
Numerous Mathematical Information Retrieval (MIR) systems have been developed, which …
Numerous Mathematical Information Retrieval (MIR) systems have been developed, which …
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 …
[PDF][PDF] Three is better than one
We report on the systems that the Math Information Retrieval group at Masaryk University
(MIRMU) prepared for tasks 1 (find answers) and 2 (formula search) of the ARQMath lab at …
(MIRMU) prepared for tasks 1 (find answers) and 2 (formula search) of the ARQMath lab at …
Part-of-math tagging and applications
A Youssef - International Conference on Intelligent Computer …, 2017 - Springer
Nearly all of the recent mathematical literature, and much of the old literature, are online and
mostly in natural-language form. Therefore, math content processing presents some of the …
mostly in natural-language form. Therefore, math content processing presents some of the …
[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 …
[PDF][PDF] Math indexer and searcher under the hood: Fine-tuning query expansion and unification strategies
The final result list: 1: original 2: original 3: original 4: subquery 1 5: subquery 1 6: subquery
2 7: original 8: original 9: original 10: subquery 1 11: subquery 1 12: subquery 2 13: original …
2 7: original 8: original 9: original 10: subquery 1 11: subquery 1 12: subquery 2 13: original …
[PDF][PDF] Ensembling ten math information retrieval systems
We report on the systems that the Math Information Retrieval group at Masaryk University
(mirmu) and the team of Faculty of Informatics students (msm) prepared for task 1 (find …
(mirmu) and the team of Faculty of Informatics students (msm) prepared for task 1 (find …