Guidi, Ferruccio; Sacerdoti Coen, Claudio A survey on retrieval of mathematical knowledge. (English) Zbl 1417.68038 Kerber, Manfred (ed.) et al., Intelligent computer mathematics. International conference, CICM 2015, Washington, DC, USA, July 13–17, 2015, Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9150, 296-315 (2015). Summary: We present a short survey of the literature on indexing and retrieval of mathematical knowledge, with pointers to 72 papers and tentative taxonomies of both retrieval problems and recurring techniques.For the entire collection see [Zbl 1316.68015]. Cited in 1 Document MSC: 68P20 Information storage and retrieval of data 68T30 Knowledge representation Software:Mizar; MML; QMT; Mathfind; Whelp; WebMIaS PDFBibTeX XMLCite \textit{F. Guidi} and \textit{C. Sacerdoti Coen}, Lect. Notes Comput. Sci. 9150, 296--315 (2015; Zbl 1417.68038) Full Text: DOI arXiv References: [1] Adeel, M.; Cheung, HS; Khiyal, SH, Math GO! prototype of a content based mathematical formula search engine, J. Theor. Appl. Inf. Technol., 4, 10, 1002-1012 (2008) [2] Asperti, A.; Guidi, F.; Coen, CS; Tassi, E.; Zacchiroli, S.; Filliâtre, J-C; Paulin-Mohring, C.; Werner, B., A content based mathematical search engine: Whelp, Types for Proofs and Programs, 17-32 (2006), Heidelberg: Springer, Heidelberg · Zbl 1172.68623 [3] Aizawa, A., Kohlhase, M., Ounis, I.: NTCIR-10 math pilot task overview. In: Proceedings of the 10th NTCIR Conference, Tokyo, Japan, pp. 654-661 (2013) [4] Aizawa, A., Kohlhase, M., Ounis, I.: NTCIR-11 math 2 task overview. In: Proceedings of 10th NTCIR Conference, Tokyo, Japan, pp. 88-98 (2014) [5] Asperti, A.; Selmi, M.; Asperti, A.; Bancerek, G.; Trybulec, A., Efficient retrieval of mathematical statements, Mathematical Knowledge Management, 17-31 (2004), Heidelberg: Springer, Heidelberg · Zbl 1108.68582 [6] Altamimi, M.E., Youssef, A.: A more canonical form of content MathML to facilitate math search. In: Proceedings of Extreme Markup Languages (2007) [7] Altamimi, M.E., Youssef, A.S.: Wildcards in math search, implementation issues. In: Proceedings of the ISCA 20th International Conference on Computer Applications in Industry and Engineering, CAINE 2007, San Francisco, California, USA, 7-9 November, pp. 90-96 (2007) [8] Ahmadi, S.A., Youssef, A.: Lexical error compensation in handwritten-based mathematical information retrieval. In: Proceedings of Towards Digital Mathematics Library, DML 2008, Birmingham, UK, 27 July, pp. 43-54. Masaryk University, Brno (2008) · Zbl 1170.68480 [9] Altamimi, ME; Youssef, AS, A math query language with an expanded set of wildcards, Math. Comput. Sci., 2, 2, 305-331 (2008) · Zbl 1176.68053 [10] Asperti, A., Zacchiroli, S.: Searching mathematics on the web: state of the art and future developments. In: Karlsruhe, F (ed.) Proceedings of New Developments in Electronic Publishing of Mathematics, pp. 9-18 (2004) · Zbl 1137.00307 [11] Bancerek, G.; Borwein, JM; Farmer, WM, Information retrieval and rendering with MML query, Mathematical Knowledge Management, 266-279 (2006), Heidelberg: Springer, Heidelberg · Zbl 1188.68125 [12] Baumgartner, P.; Furbach, U., Automated deduction techniques for the management of personalized documents, Ann. Math. Artif. Intell., 38, 1-3, 211-228 (2003) · Zbl 1023.68083 [13] Bancerek, G.; Rudnicki, P.; Asperti, A.; Buchberger, B.; Davenport, JH, Information retrieval in MML, Mathematical Knowledge Management, 119-132 (2003), Bertinoro: Springer, Bertinoro · Zbl 1022.68610 [14] Bancerek, G.; Urban, J.; Asperti, A.; Bancerek, G.; Trybulec, A., Integrated semantic browsing of the mizar mathematical library for authoring mizar articles, Mathematical Knowledge Management, 44-57 (2004), Heidelberg: Springer, Heidelberg · Zbl 1108.68583 [15] Cairns, P.; Asperti, A.; Bancerek, G.; Trybulec, A., Informalising formal mathematics: searching the mizar library with latent semantics, Mathematical Knowledge Management, 58-72 (2004), Heidelberg: Springer, Heidelberg · Zbl 1108.68584 [16] Caprotti, O.; Dewar, M.; Turi, D.; Asperti, A.; Bancerek, G.; Trybulec, A., Mathematical service matching using description logic and OWL, Mathematical Knowledge Management, 73-87 (2004), Heidelberg: Springer, Heidelberg · Zbl 1108.68585 [17] Delahaye, D.; Coquand, T.; Nordström, B.; Dybjer, P.; Smith, J., Information retrieval in a \(Coq\) proof library using type isomorphisms, Types for Proofs and Programs, 131-147 (2000), Heidelberg: Springer, Heidelberg · Zbl 0988.68542 [18] Formánek, D., Líška, M., Růžička, M., Sojka, P.: Normalization of digital mathematics library content. In: Davenport, J., Jeuring, J., Lange, C., Libbrecht, P. (eds.) Joint Proceedings of the 24th OpenMath Workshop, the 7th Workshop on Mathematical User Interfaces (MathUI), and the Work in Progress Section of the Conference on Intelligent Computer Mathematics. CEUR Workshop Proceedings, vol. 921, pp. 91-103. Neuveden, Aachen (2012) [19] Gauthier, T.; Kaliszyk, C.; Watt, SM; Davenport, JH; Sexton, AP; Sojka, P.; Urban, J., Matching concepts across HOL libraries, Intelligent Computer Mathematics, 267-281 (2014), Heidelberg: Springer, Heidelberg · Zbl 1304.68154 [20] Pinto, J.M.G., Barthel, S., Balke, W.-T.: QUALIBETA at the NTCIR-11 math 2 task: an attempt to query math collections. In: Proceedings of the 10th NTCIR Conference, Tokyo, Japan, pp. 103-107 (2014) [21] Guidi, F.; Schena, I.; Asperti, A.; Buchberger, B.; Davenport, JH, A query language for a metadata framework about mathematical resources, Mathematical Knowledge Management, 105-118 (2003), Bertinoro: Springer, Bertinoro · Zbl 1022.68616 [22] Gao, L., Wang, Y., Hao, L., Tang, Z.: ICST math retrieval system for NTCIR-11 math-2 Task. In: Proceedings of the 10th NTCIR Conference, Tokyo, Japan, pp. 99-102 (2014) [23] Hashimoto, H., Hijikata, Y., Nishida, S.: Incorporating breadth first search for indexing MathML objects. In: IEEE International Conference on Systems, Man and Cybernetics, SMC 2008, pp. 3519-3523, October 2008 [24] Hambasan, R., Kohlhase, M., Prodescu, C.: MathWebSearch at NTCIR-11. In: Proceedings of the 10th NTCIR Conference, Tokyo, Japan, pp. 114-119 (2014) [25] Haralambous, Y.; Quaresma, P.; Watt, SM; Davenport, JH; Sexton, AP; Sojka, P.; Urban, J., Querying geometric figures using a controlled language, ontological graphs and dependency lattices, Intelligent Computer Mathematics, 298-311 (2014), Heidelberg: Springer, Heidelberg · Zbl 1304.68170 [26] Hagino, H., Saito, H.: Partial-match retrieval with structure-reflected indices at the NTCIR-10 math task. In: Proceedings of the 10th NTCIR Conference, Tokyo, Japan, pp. 692-695 (2013) [27] Kohlhase, A.; Kohlhase, M.; Kauers, M.; Kerber, M.; Miner, R.; Windsteiger, W., Reexamining the MKM value proposition: from math web search to math web ReSearch, Towards Mechanized Mathematical Assistants, 313-326 (2007), Heidelberg: Springer, Heidelberg · Zbl 1202.68467 [28] Kohlhase, A.; Watt, SM; Davenport, JH; Sexton, AP; Sojka, P.; Urban, J., Search interfaces for mathematicians, Intelligent Computer Mathematics, 153-168 (2014), Heidelberg: Springer, Heidelberg · Zbl 1304.68198 [29] Kohlhase, M., Prodescu, C.: MathWebSearch at NTCIR-10. In: Proceedings of the 10th NTCIR Conference, Tokyo, Japan, pp. 675-679 (2013) [30] Kamali, S., Tompa, F.W.: Improving mathematics retrieval. In: Proceedings of Towards Digital Mathematics Library, DML 2009, Grand Bend, Ontario, Canada, 8-9 July, pp. 37-48. Masaryk University, Brno (2009) · Zbl 1176.68070 [31] Kamali, S., Tompa, F.W.: A new mathematics retrieval system. In: Proceedings of the 19th ACM International Conference on Information and Knowledge Management, CIKM 2010, pp. 1413-1416. ACM, New York (2010) [32] Kamali, S.; Tompa, FW; Carette, J.; Aspinall, D.; Lange, C.; Sojka, P.; Windsteiger, W., Structural similarity search for mathematics retrieval, Intelligent Computer Mathematics, 246-262 (2013), Heidelberg: Springer, Heidelberg · Zbl 1390.68258 [33] Kristianto, G.Y., Topić, G., Ho, F., Aizawa, A.: The MCAT math retrieval system for NTCIR-11 math track. In: Proceedings of the 11th NTCIR Conference, Tokyo, Japan, pp. 120-126 (2014) [34] Líška, M.: Searching Mathematical Texts (2010) [35] Líška, M.: Evaluation of Mathematics Retrieval (2013) [36] Lipani, A., Andersson, L., Piroi, F., Lupu, M., Hanbury, A.: TUW-IMP at the NTCIR-11 Math-2. In: Proceedings of the 11th NTCIR Conference, Tokyo, Japan, pp. 143-146 (2014) [37] Libbrecht, P.; Desmoulins, C.; Mercat, C.; Laborde, C.; Dietrich, M.; Hendriks, M.; Autexier, S.; Campbell, J.; Rubio, J.; Sorge, V.; Suzuki, M.; Wiedijk, F., Cross-curriculum search for intergeo, Intelligent Computer Mathematics, 520-535 (2008), Heidelberg: Springer, Heidelberg · Zbl 1166.68367 [38] Libbrecht, P.; Carette, J.; Aspinall, D.; Lange, C.; Sojka, P.; Windsteiger, W., Escaping the trap of too precise topic queries, Intelligent Computer Mathematics, 296-309 (2013), Heidelberg: Springer, Heidelberg · Zbl 1390.68749 [39] Libbrecht, P.; Melis, E.; Iglesias, A.; Takayama, N., Methods to access and retrieve mathematical content in ActiveMath, Mathematical Software - ICMS 2006, 331-342 (2006), Heidelberg: Springer, Heidelberg · Zbl 1283.68319 [40] Ray R. Larson., Chloe J. Reynolds., Fredric C. Gey.: The Abject Failure of Keyword IR for Mathematics Search: Berkeley at NTCIR-10 Math. In: Proceedings of the 10th NTCIR Conference, Tokyo, Japan, pp. 662-666 (2013) [41] Líška, M., Sojka, P., Líška, M., Mravec, P.: Web interface and collection for mathematical retrieval: WebMIaS and MREC. In: Proceedings of Towards Digital Mathematics Library, DML 2011, Bertinoro, Italy, 20-21 July, pp. 77-84. Masaryk University, Brno (2011) [42] Líška, M., Sojka, P., Růžička, M.: Similarity search for mathematics: Masaryk university team at the NTCIR-10 math task. In: Proceedings of the 10th NTCIR Conference, Tokyo, Japan, pp. 686-691 (2013) [43] Líška, M.; Sojka, P.; Růžička, M.; Watt, SM; Davenport, JH; Sexton, AP; Sojka, P.; Urban, J., Math indexer and searcher web interface, Intelligent Computer Mathematics, 444-448 (2014), Heidelberg: Springer, Heidelberg · Zbl 1304.68199 [44] Misutka, J., Galambos, L.: Mathematical extension of full text search engine indexer. In: 3rd International Conference on Information and Communication Technologies: From Theory to Applications, ICTTA 2008, pp. 1-6, April 2008 · Zbl 1170.68488 [45] Mišutka, J., Galamboš, L.: Extending full text search engine for mathematical content. In: Proceedings of Towards Digital Mathematics Library, DML 2008, Birmingham, UK, 27 July, pp. 55-67. Masaryk University, Brno (2008) · Zbl 1170.68488 [46] Miller, BR; Carette, J.; Aspinall, D.; Lange, C.; Sojka, P.; Windsteiger, W., Three years of DLMF: web, math and search, Intelligent Computer Mathematics, 288-295 (2013), Heidelberg: Springer, Heidelberg · Zbl 1390.68750 [47] Munavalli, R., Miner, R.: Mathfind: a math-aware search engine. In: Proceedings of the 29th Annual International ACM SIGIR Conference on Research and Development in Information Retrieval, pp. 735-735. ACM (2006) [48] Miner, R.; Munavalli, R.; Kauers, M.; Kerber, M.; Miner, R.; Windsteiger, W., An approach to mathematical search through query formulation and data normalization, Towards Mechanized Mathematical Assistants, 342-355 (2007), Heidelberg: Springer, Heidelberg · Zbl 1202.68130 [49] Miller, BR; Youssef, A., Technical aspects of the digital library of mathematical functions, Ann. Math. Artif. Intell., 38, 1-3, 121-136 (2003) · Zbl 1019.65002 [50] Miller, BR; Youssef, AM; Autexier, S.; Campbell, J.; Rubio, J.; Sorge, V.; Suzuki, M.; Wiedijk, F., Augmenting presentation MathML for search, Intelligent Computer Mathematics, 536-542 (2008), Heidelberg: Springer, Heidelberg · Zbl 1166.68315 [51] Nguyen, T.T., Chang, K., Hui, S.C.: A math-aware search engine for math question answering system. In: Proceedings of the 21st ACM International Conference on Information and Knowledge Management, pp. 724-733. ACM (2012) [52] Normann, I.; Kohlhase, M.; Kauers, M.; Kerber, M.; Miner, R.; Windsteiger, W., Extended formula normalization for \(\epsilon \) -retrieval and sharing of mathematical knowledge, Towards Mechanized Mathematical Assistants, 356-370 (2007), Heidelberg: Springer, Heidelberg · Zbl 1202.68157 [53] Nghiem, M-Q; Kristianto, GY; Topić, G.; Aizawa, A.; Watt, SM; Davenport, JH; Sexton, AP; Sojka, P.; Urban, J., Which one is better: presentation-based or content-based math search?, Intelligent Computer Mathematics, 200-212 (2014), Heidelberg: Springer, Heidelberg · Zbl 1304.68039 [54] Pattaniyil, N., Zanibbi, R.: Combining TF-IDF text retrieval with an inverted index over symbol pairs in math expressions: the tangent math search engine at NTCIR 2014. In: Proceedings of the 11th NTCIR Conference, Tokyo, Japan, pp. 135-142 (2014) [55] Rabe, F.; Campbell, JA; Jeuring, J.; Carette, J.; Dos Reis, G.; Sojka, P.; Wenzel, M.; Sorge, V., A query language for formal mathematical libraries, Intelligent Computer Mathematics, 143-158 (2012), Heidelberg: Springer, Heidelberg · Zbl 1359.68272 [56] Růžička, M., Sojka, P., Líška, M.: Math indexer and searcher under the hood: history and development of a winning strategy. In: Proceedings of the 11th NTCIR Conference, Tokyo, Japan, pp. 127-134 (2014) [57] Sojka, P., Líška, M.: The art of mathematics retrieval. In: Proceedings of the 11th ACM Symposium on Document Engineering, pp. 57-60. ACM (2011) · Zbl 1335.68292 [58] Schubotz, M., Leich, M., Markl, V.: Querying large collections of mathematical publications: NTCIR10 math task. In: Proceedings of 10th NTCIR Conference, Tokyo, Japan, pp. 667-674 (2013) [59] Shatnawi, M., Youssef, A.: Equivalence detection using parse-tree normalization for math search. In: Proceedings of the Second IEEE International Conference on Digital Information Management (ICDIM), Lyon, France, 11-13 December, pp. 643-648 (2007) [60] Schubotz, M., Youssef, A., Markl, V., Cohl, H.S., Li, J.J.: Evaluation of similarity-measure factors for formulae based on the NTCIR-11 math task. In: Proceedings of 10th NTCIR Conference, Tokyo, Japan, pp. 108-113 (2014) [61] Topić, G., Kristianto, G.Y., Nghiem, M.-Q., Aizawa, A.: The MCAT math retrieval system for NTCIR-10 math track. In: Proceedings of 10th NTCIR Conference, Tokyo, Japan, pp. 680-685 (2013) [62] Wolska, M., Grigore, M.: Symbol declarations in mathematical writing. In: Proceedings of Towards Digital Mathematics Library, DML 2010, Paris, France, 7-8 July, pp. 119-127. Masaryk University, Brno (2010) [63] Youssef, A.S., Altamimi, M.E.: An extensive math query language. In: Proceedings of the 16th International Conference on Software Engineering and Data Engineering (SEDE-2007), 9-11 July, Imperial Palace Hotel Las Vegas, Las Vegas, Nevada, USA, pp. 57-63 (2007) [64] Yokoi, K., Aizawa, A.: An approach to similarity search for mathematical expressions using MathML. In: Proceedings of Towards Digital Mathematics Library, DML 2009, Grand Bend, Ontario, Canada, 8-9 July, pp. 27-35. Masaryk University, Brno (2009) · Zbl 1176.68074 [65] Youssef, A.: Search of mathematical contents: issues and methods. In: Proceedings of the ISCA 14th International Conference on Intelligent and Adaptive Systems and Software Engineering, 20-22 July, Novotel Toronto Centre, Toronto, Canada, pp. 100-105 (2005) [66] Youssef, AM; Borwein, JM; Farmer, WM, Roles of math search in mathematics, Mathematical Knowledge Management, 2-16 (2006), Heidelberg: Springer, Heidelberg · Zbl 1188.68128 [67] Youssef, AS; Kauers, M.; Kerber, M.; Miner, R.; Windsteiger, W., Methods of relevance ranking and hit-content generation in math search, Towards Mechanized Mathematical Assistants, 393-406 (2007), Heidelberg: Springer, Heidelberg · Zbl 1202.68161 [68] Youssef, AS, Relevance ranking and hit description in math search, Math. Comput. Sci., 2, 2, 333-353 (2008) · Zbl 1178.68218 [69] Youssef, A., Shatnawi, M.: Math search with equivalence detection using parse-tree normalization. In: The 4th International Conference on Computer Science and Information Technology (2006) [70] Zanibbi, R.; Blostein, D., Recognition and retrieval of mathematical expressions, Int. J. Doc. Anal. Recogn. (IJDAR), 15, 4, 331-357 (2012) [71] Zhao, J., Kan, M.-Y., Theng, Y.L.: Math information retrieval: user requirements and prototype implementation. In: Proceedings of the 8th ACM/IEEE-CS Joint Conference on Digital Libraries, pp. 187-196. ACM (2008) [72] Zhang, Q.; Youssef, A.; Watt, SM; Davenport, JH; Sexton, AP; Sojka, P.; Urban, J., An approach to math-similarity search, Intelligent Computer Mathematics, 404-418 (2014), Heidelberg: Springer, Heidelberg · Zbl 1304.68040 This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.