… for searching mathematics, taking into account not only inherent structure of mathematical
formulae but also formula unification and subformulae similarity measures. Our evaluation of a …

… and tools to promote the retrieval of scientiic information and the … study of mathematical
information retrieval, highlights their … evaluation platform for an active and emerging mathematical …

… The main mathematical approaches to information retrieval … the formalization of information
retrieval pro cesses are described. … Several other retrieval evaluation procedures make use of …

… The performance of a mathematics retrieval engine must be measured not only with respect
… frequencyi (idf) improve mathematics retrieval?). Such evaluations requires the creation of a …

… and indeed mathematics. With the mathematical retrieval systems only being developed in
the last few years, the evaluation of this type of domain-specific retrieval is still in its infancy. …

… of retrieval practice depends on the individuals’ mathematical competence. In case of
university maths … The evaluation of the final test was the following: the perfect solution for each …

… (fact-retrieval) models, the most widely accepted description of the network representation
… Next, I critically examine the evidence supporting fact-retrieval models and suggest how it …

… -performing retrieval systems participating in the evaluation pool. … resource for math information
retrieval research. Developed … main task is answer retrieval for math questions. Built on …

… What our evaluations suggest in this work is to … retrieval for a highly effective math-aware
search. We are aware of two limitations: First, an ensemble of two different end-to-end retrieval …

… long-term memory retrieval and mathematics calculation and mathematics problem solving
… retrieval skills became a better predictor of both mathematics calculation and mathematics …