Retrieval of Research-level Mathematical Information Needs: A Test Collection and Technical Terminology Experiment Yiannos Stathopoulos author Simone Teufel author 2015-07 text Proceedings of the 53rd Annual Meeting of the Association for Computational Linguistics and the 7th International Joint Conference on Natural Language Processing (Volume 2: Short Papers) Chengqing Zong editor Michael Strube editor Association for Computational Linguistics Beijing, China conference publication stathopoulos-teufel-2015-retrieval 10.3115/v1/P15-2055 https://aclanthology.org/P15-2055/ 2015-07 334 340