1. Characterizing Searches for Mathematical Concepts
2. NIST Special Publication;Cucerzan Silviu,2005
3. Semantic Search on Text and Knowledge Bases
4. Introducing MathQA: a Math-Aware question answering system
5. Anya Belz , Simon Mille , and David M. Howcroft . Disentangling the properties of human evaluation methods: A classification system to support comparability, meta-evaluation and reproducibility testing . In INLG , pages 183 -- 194 . Association for Computational Linguistics , 2020 . Anya Belz, Simon Mille, and David M. Howcroft. Disentangling the properties of human evaluation methods: A classification system to support comparability, meta-evaluation and reproducibility testing. In INLG, pages 183--194. Association for Computational Linguistics, 2020.