Combining text and mathematics when searching in a corpus with extensive mathematical notation remains an open problem. Recent results for math information retrieval systems on the math and text retrieval task at NTCIR-12, for example, show room for improvement, even though formula retrieval appears to be fairly successful. This thesis explores how to adapt the state-of-the-art BM25 text ranking method to work well when searching for math and text together. Symbol layout trees are used to represent math formulas, and features are extracted from the trees, which are then used as search terms for BM25. This thesis explores various features of symbol layout trees and explores their effects on retrieval performance. Based on the results...
With the recent success of dense retrieval methods based on bi-encoders, a number of studies have ap...
In NTCIR-11, the NTCIR-Math-2 Task is organized for mathematical information retrieval. This paper p...
© 2018, Springer International Publishing AG, part of Springer Nature. In this paper we analyze an a...
We have developed a layout-based math retrieval system by indexing on pairs of symbols in mathematic...
Large collections containing millions of math formulas are available online. Retrieving math express...
This paper describes and summarizes experiences of Masaryk University team MIRMU with the mathematic...
Digital mathematical libraries (DMLs) such as arXiv, Numdam, and EuDML contain mainly documents from...
We have developed a layout-based math retrieval system by indexing on pairs of symbols in mathematic...
summary:Despite the popularity of storing mathematical objects on the web, searching for mathematica...
We report on the system design and NTCIR-Math-2 task results for the Tangent math-aware search engin...
This paper describes and summarizes experiences of Masaryk University team MIRMU with the mathematic...
This paper describes the participation of our MCAT search system in the NTCIR-11 Math-2 Task. The pu...
summary:The WWW became the main resource of mathematical knowledge. Currently available full text se...
Proposal for the DFG-funded research project 350192710: Methods and Tools to Advance the Retrieval o...
summary:We demonstrate searching of mathematical expressions in technical digital libraries on a MRE...
With the recent success of dense retrieval methods based on bi-encoders, a number of studies have ap...
In NTCIR-11, the NTCIR-Math-2 Task is organized for mathematical information retrieval. This paper p...
© 2018, Springer International Publishing AG, part of Springer Nature. In this paper we analyze an a...
We have developed a layout-based math retrieval system by indexing on pairs of symbols in mathematic...
Large collections containing millions of math formulas are available online. Retrieving math express...
This paper describes and summarizes experiences of Masaryk University team MIRMU with the mathematic...
Digital mathematical libraries (DMLs) such as arXiv, Numdam, and EuDML contain mainly documents from...
We have developed a layout-based math retrieval system by indexing on pairs of symbols in mathematic...
summary:Despite the popularity of storing mathematical objects on the web, searching for mathematica...
We report on the system design and NTCIR-Math-2 task results for the Tangent math-aware search engin...
This paper describes and summarizes experiences of Masaryk University team MIRMU with the mathematic...
This paper describes the participation of our MCAT search system in the NTCIR-11 Math-2 Task. The pu...
summary:The WWW became the main resource of mathematical knowledge. Currently available full text se...
Proposal for the DFG-funded research project 350192710: Methods and Tools to Advance the Retrieval o...
summary:We demonstrate searching of mathematical expressions in technical digital libraries on a MRE...
With the recent success of dense retrieval methods based on bi-encoders, a number of studies have ap...
In NTCIR-11, the NTCIR-Math-2 Task is organized for mathematical information retrieval. This paper p...
© 2018, Springer International Publishing AG, part of Springer Nature. In this paper we analyze an a...