1. Berčič K, Kohlhase M, Rabe F (2020) Towards a heterogeneous query language for mathematical knowledge. In: International conference on intelligent computer mathematics. Springer, Berlin, pp 39–54
2. Carette J, Farmer WM, Kohlhase M, Rabe F (2019) Big math and the one-brain barrier a position paper and architecture proposal. arXiv preprint arXiv:1904.10405, pp 1–17
3. Dadure P, Pakray P, Bandyopadhyay S (2019) An empirical analysis on retrieval of math information from the scientific documents. In: International conference on communication and intelligent systems. Springer, Berlin, pp 301–308
4. Dadure P, Pakray P, Bandyopadhyay S (2020) An analysis of variable-size vector based approach for formula searching. In: Working notes of CLEF 2020—conference and labs of the evaluation forum, pp 1–13
5. Ferreira D, Freitas A (2020) Natural language premise selection: finding supporting statements for mathematical text. In: Proceedings of the 12th language resources and evaluation conference, pp 2175–2182