A Survey on Retrieval of Mathematical Knowledge-Reference-Cited by-同舟云学术

A Survey on Retrieval of Mathematical Knowledge

Published:2016-07-18 Issue:4 Volume:10 Page:409-427
ISSN:1661-8270
Container-title:Mathematics in Computer Science
language:en
Short-container-title:Math.Comput.Sci.

Author:

Guidi Ferruccio^ORCID,Sacerdoti Coen Claudio^ORCID

Publisher

Springer Science and Business Media LLC

Subject

Applied Mathematics,Computational Theory and Mathematics,Computational Mathematics

Link

http://link.springer.com/content/pdf/10.1007/s11786-016-0274-0.pdf

Reference77 articles.

1. Adeel, M., Cheung, H.S., Khiyal, S.H.: Math GO! prototype of a content based mathematical formula search engine. J. Theor. Appl. Inf. Technol. 4(10), 1002–1012 (2008)

2. Ahmadi, S.A., Youssef, A.: Lexical error compensation in handwritten-based mathematical information retrieval. In: DML 2008. Towards digital mathematics library, Birmingham, UK, July 27th, 2008. Proceedings, pp. 43–54. Masaryk University, Brno (2008)

3. Aizawa, A., Kohlhase, M., Ounis, I.: NTCIR-10 math pilot task overview. In: Proceedings of the 10th NTCIR conference, Tokyo, pp. 654–661 (2013)

4. Aizawa, A., Kohlhase, M., Ounis, I.: NTCIR-11 math 2 task overview. In: Proc. 10th NTCIR conference (Tokyo, Japan), pp. 88–98 (2014)

5. Altamimi, M.E., Youssef, A.: A more canonical form of content MathML to facilitate math search. In: Proc extreme markup languages (2007)

Cited by 23 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Searching the ACL Anthology with Math Formulas and Text;Proceedings of the 46th International ACM SIGIR Conference on Research and Development in Information Retrieval;2023-07-18

2. Discovery and recognition of formula concepts using machine learning;Scientometrics;2023-07-13

3. Introduction to Mathematical Language Processing: Informal Proofs, Word Problems, and Supporting Tasks;Transactions of the Association for Computational Linguistics;2023

4. Two Approaches to E-Book Content Classification;Artificial Intelligence Application in Networks and Systems;2023

5. Old and new evidence for glass in opera sectilia: visual dialogues between appearance and reality;Journal of Roman Archaeology;2022-06