1. Asperti A, Padovani L, Coen CS, Guidi F, Schena I (2003) Mathematical knowledge management in helm. Ann Math Artif Intell 38(1–3):27–46
2. Ferreira D, Freitas A (2020) Natural language premise selection: finding supporting statements for mathematical text. arXiv:2004.14959
3. Gao L, Jiang Z, Yin Y, Yuan K, Yan Z, Tang Z (2017) Preliminary exploration of formula embedding for mathematical information retrieval: can mathematical formulae be embedded like a natural language? arXiv:1707.05154
4. Kristianto GY, Topic G, Aizawa A (2016) Mcat math retrieval system for ntcir-12 mathir task. In: Proceedings of the 12th NTCIR conference on evaluation of information access technologies, June 7–10, Tokyo, Japan, pp 323–330
5. Larson RR, Reynolds C, Gey FC (2013) The abject failure of keyword IR for mathematics search: Berkeley at NTCIR-10 math. In: Proceedings of the 10th NTCIR conference on evaluation of information access technologies, June 18–21, Tokyo, Japan, pp 662–666