References
Contents
- Mathematical Information Retrieval (MIR) surveys
- Existing math-aware search engines and prototypes
- Conferences
- Test collections and evaluation for Information Retrieval (IR)
- Information on NTCIR-11 Math-2 Task (2014)
- Information on NTCIR-10 Math Pilot Task (2013)
Information on Math Retrieval and Retrieval Evaluation
Mathematical Information Retrieval (MIR) surveys
- Recognition and retrieval of mathematical expressions, (Zanibbi & Blostein, IJDAR 15(4): 331-357, 2012)
- A survey on retrieval of mathematical knowledge, (Guidi & Coen, Proc. CICM, LNAI 9150, pp. 296-315, 2015)
Existing math-aware search engines and prototypes
- NIST Digital Library of Mathematical Functions (search engine by Bruce Miller and Abdou Youssef)
- MIaS, WebMIaS (Petr Sojka, Martin Liska et al., Masaryk University (Czech Repulic))
- MathWebSearch (with template editor) and zbMath search engine (for Zentralblatt MATH) (M. Kohlhase et al., Jacobs University Bremen (Germany))
- EgoMath (Jozef Misutka and Leo Galambos, Charles University in Prague (Czech Republic))
- WikiMirs (Xiaoyan Lin et al., Peking University, China)
- MASE: A Math-aware Search Engine (Tam T. Nguyen et al., Nanyang Technical University, Singapore)
- MathCat: (Akiko Aizawa, Goran Topic, Giovanni Yoko Kristianto, et al., National Institute of Informatics, Japan)
- Symbolab (commercial application)
- WolframAlpha (Note: LaTeX queries accepted)
- Springer LaTeX Search (Beta)
- Tangent (v1 (2013)), dprl, Rochester Institute of Technology, USA
Conferences
CICM (Conference on Intelligent Computer Mathematics) is an annual conference that includes tracks on Mathematical Knowledge Management (MKM) and Digital Mathematical Libraries (DML).
- Conference on Intelligent Computer Mathematics (CICM) 2015, Washington, DC, USA
- Conference on Intelligent Computer Mathematics (CICM) 2014, Coimbra, Portugal
-
Conference on Intelligent Computer Mathematics (CICM) – earlier years.
In recent years papers on Mathematical Information Retrieval have also appeared in ACM SIGIR, ACM CIKM and the Joint Conference on Digital Libraries (JCDL).
Test collections and evaluation for Information Retrieval (IR)
- Evaluating the performance of information retrieval systems using test collections. (Paul Clough and Mark Sanderson)
- Test Collection Based Evaluation of Information Retrieval Systems. (Mark Sanderson)
Previous Math Tasks at NTCIR
NTCIR-11 (2014)
Task Webpage
Task Overview Papers
- Overview of NTCIR-11. (Hideo Joho and Kazuaki Kishida)
- NTCIR-11 Math-2 Task Overview. (Akiko Aizawa, Michael Kohlhase, Iadh Ounis, and Moritz Shubotz)
- Challenges of Mathematical Information Retrieval in the NTCIR-11 Math Wikipedia Task. (Moritz Schubotz, Abdou Youssef, Volker Markl and Howard S. Cohl, SIGIR 2015). Summary of the NTCIR-11 Wikipedia Formula Subtask
Participant Papers
- ICST Math Retrieval System for NTCIR-11 Math-2 Task. (Liangcai Gao, Yuehan Wang, Leipeng Hao, and Zhi Tang)
- QUALIBETA at the NTCIR-11 Math 2 Task: An Attempt to Query Math Collections. (José Maria González Pinto, Simon Barthel, and Wolf-Tilo Balke)
- Evaluation of Similarity-Measure Factors for Formulae Based on the NTCIR-11 Math Task. (Moritz Schubotz, Abdou Youssef, Volker Markl, Howard S. Cohl, and Jimmy J. Li)
- MathWebSearch at NTCIR-11. (Radu Hambasan, Michael Kohlhase, and Corneliu Prodescu)
- The MCAT Math Retrieval System for NTCIR-11 Math Track. (Giovanni Yoko Kristianto, Goran Topić, Florence Ho, and Akiko Aizawa
- Math Indexer and Searcher under the Hood: History and Development of a Winning Strategy. (Michal Růžička, Petr Sojka, and Martin Líška)
- Combining TF-IDF Text Retrieval with an Inverted Index over Symbol Pairs in Math Expressions: The Tangent Math Search Engine at NTCIR 2014. (Nidhin Pattaniyil, and Richard Zanibbi)
- TUW-IMP at the NTCIR-11 Math-2. (Aldo Lipani, Linda Andersson, Florina Piroi, Mihai Lupu, and Allan Hanbury)
NTCIR-10 (2013)
Task Webpage
Overview Papers
- Overview of NTCIR-10. (Hideo Joho and Tetsuya Sakai)
- NTCIR-10 Math Pilot Task Overview. (Akiko Aizawa, Michael Kohlhase, and Iadh Ounis)
- Topics for the NTCIR-10 Math Task (Michael Kohlhase)
Participant Papers
- The Abject Failure of Keyword IR for Mathematics Search: Berkeley at NTCIR-10 Math. (Ray R. Larson, Chloe J. Reynolds and Fredric C. Gey)
- Querying Large Collections of Mathematical Publications: NTCIR10 Math Task. (Moritz Schubotz, Marcus Leich and Volker Markl)
- MathWebSearch at NTCIR-10. (Michael Kohlhase and Corneliu Prodescu)
- The MCAT Math Retrieval System for NTCIR-10 Math Track. (Goran Topić, Giovanni Yoko Kristianto, Minh-Quoc Nghiem and Akiko Aizawa)
- Similarity Search for Mathematics: Masaryk University Team at the NTCIR-10 Math Task. (Martin Líška, Petr Sojka and Michal Růžička)
- Partial-match Retrieval with Structure-reflected Indices at the NTCIR-10 Math Task. (Hiroya Hagino and Hiroaki Saito)