{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,7]],"date-time":"2026-02-07T16:59:03Z","timestamp":1770483543280,"version":"3.49.0"},"publisher-location":"Cham","reference-count":72,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319206141","type":"print"},{"value":"9783319206158","type":"electronic"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-20615-8_20","type":"book-chapter","created":{"date-parts":[[2015,6,22]],"date-time":"2015-06-22T15:31:23Z","timestamp":1434987083000},"page":"296-315","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":14,"title":["A Survey on Retrieval of Mathematical Knowledge"],"prefix":"10.1007","author":[{"given":"Ferruccio","family":"Guidi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Claudio","family":"Sacerdoti Coen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,6,23]]},"reference":[{"issue":"10","key":"20_CR1","first-page":"1002","volume":"4","author":"M Adeel","year":"2008","unstructured":"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\u20131012 (2008)","journal-title":"J. Theor. Appl. Inf. Technol."},{"key":"20_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1007\/11617990_2","volume-title":"Types for Proofs and Programs","author":"A Asperti","year":"2006","unstructured":"Asperti, A., Guidi, F., Coen, C.S., Tassi, E., Zacchiroli, S.: A content based mathematical search engine: Whelp. In: Filli\u00e2tre, J.-C., Paulin-Mohring, C., Werner, B. (eds.) TYPES 2004. LNCS, vol. 3839, pp. 17\u201332. Springer, Heidelberg (2006)"},{"key":"20_CR3","unstructured":"Aizawa, A., Kohlhase, M., Ounis, I.: NTCIR-10 math pilot task overview. In: Proceedings of the 10th NTCIR Conference, Tokyo, Japan, pp. 654\u2013661 (2013)"},{"key":"20_CR4","unstructured":"Aizawa, A., Kohlhase, M., Ounis, I.: NTCIR-11 math 2 task overview. In: Proceedings of 10th NTCIR Conference, Tokyo, Japan, pp. 88\u201398 (2014)"},{"key":"20_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1007\/978-3-540-27818-4_2","volume-title":"Mathematical Knowledge Management","author":"A Asperti","year":"2004","unstructured":"Asperti, A., Selmi, M.: Efficient retrieval of mathematical statements. In: Asperti, A., Bancerek, G., Trybulec, A. (eds.) MKM 2004. LNCS, vol. 3119, pp. 17\u201331. Springer, Heidelberg (2004)"},{"key":"20_CR6","unstructured":"Altamimi, M.E., Youssef, A.: A more canonical form of content MathML to facilitate math search. In: Proceedings of Extreme Markup Languages (2007)"},{"key":"20_CR7","unstructured":"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\u20139 November, pp. 90\u201396 (2007)"},{"key":"20_CR8","unstructured":"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\u201354. Masaryk University, Brno (2008)"},{"issue":"2","key":"20_CR9","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1007\/s11786-008-0056-4","volume":"2","author":"ME Altamimi","year":"2008","unstructured":"Altamimi, M.E., Youssef, A.S.: A math query language with an expanded set of wildcards. Math. Comput. Sci. 2(2), 305\u2013331 (2008)","journal-title":"Math. Comput. Sci."},{"key":"20_CR10","unstructured":"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\u201318 (2004)"},{"key":"20_CR11","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"266","DOI":"10.1007\/11812289_21","volume-title":"Mathematical Knowledge Management","author":"G Bancerek","year":"2006","unstructured":"Bancerek, G.: Information retrieval and rendering with MML query. In: Borwein, J.M., Farmer, W.M. (eds.) MKM 2006. LNCS (LNAI), vol. 4108, pp. 266\u2013279. Springer, Heidelberg (2006)"},{"issue":"1\u20133","key":"20_CR12","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1023\/A:1022976016809","volume":"38","author":"P Baumgartner","year":"2003","unstructured":"Baumgartner, P., Furbach, U.: Automated deduction techniques for the management of personalized documents. Ann. Math. Artif. Intell. 38(1\u20133), 211\u2013228 (2003)","journal-title":"Ann. Math. Artif. Intell."},{"key":"20_CR13","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1007\/3-540-36469-2_10","volume-title":"Mathematical Knowledge Management","author":"G Bancerek","year":"2003","unstructured":"Bancerek, G., Rudnicki, P.: Information retrieval in MML. In: Asperti, A., Buchberger, B., Davenport, J.H. (eds.) Mathematical Knowledge Management, pp. 119\u2013132. Springer, Bertinoro (2003)"},{"key":"20_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1007\/978-3-540-27818-4_4","volume-title":"Mathematical Knowledge Management","author":"G Bancerek","year":"2004","unstructured":"Bancerek, G., Urban, J.: Integrated semantic browsing of the mizar mathematical library for authoring mizar articles. In: Asperti, A., Bancerek, G., Trybulec, A. (eds.) MKM 2004. LNCS, vol. 3119, pp. 44\u201357. Springer, Heidelberg (2004)"},{"key":"20_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"58","DOI":"10.1007\/978-3-540-27818-4_5","volume-title":"Mathematical Knowledge Management","author":"P Cairns","year":"2004","unstructured":"Cairns, P.: Informalising formal mathematics: searching the mizar library with latent semantics. In: Asperti, A., Bancerek, G., Trybulec, A. (eds.) MKM 2004. LNCS, vol. 3119, pp. 58\u201372. Springer, Heidelberg (2004)"},{"key":"20_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1007\/978-3-540-27818-4_6","volume-title":"Mathematical Knowledge Management","author":"O Caprotti","year":"2004","unstructured":"Caprotti, O., Dewar, M., Turi, D.: Mathematical service matching using description logic and OWL. In: Asperti, A., Bancerek, G., Trybulec, A. (eds.) MKM 2004. LNCS, vol. 3119, pp. 73\u201387. Springer, Heidelberg (2004)"},{"key":"20_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1007\/3-540-44557-9_8","volume-title":"Types for Proofs and Programs","author":"D Delahaye","year":"2000","unstructured":"Delahaye, D.: Information retrieval in a \n$$Coq$$\n proof library using type isomorphisms. In: Coquand, T., Nordstr\u00f6m, B., Dybjer, P., Smith, J. (eds.) TYPES 1999. LNCS, vol. 1956, pp. 131\u2013147. Springer, Heidelberg (2000)"},{"key":"20_CR18","unstructured":"Form\u00e1nek, D., L\u00ed\u0161ka, M., R\u016f\u017ei\u010dka, 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\u2013103. Neuveden, Aachen (2012)"},{"key":"20_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1007\/978-3-319-08434-3_20","volume-title":"Intelligent Computer Mathematics","author":"T Gauthier","year":"2014","unstructured":"Gauthier, T., Kaliszyk, C.: Matching concepts across HOL libraries. In: Watt, S.M., Davenport, J.H., Sexton, A.P., Sojka, P., Urban, J. (eds.) CICM 2014. LNCS, vol. 8543, pp. 267\u2013281. Springer, Heidelberg (2014)"},{"key":"20_CR20","unstructured":"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\u2013107 (2014)"},{"key":"20_CR21","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1007\/3-540-36469-2_9","volume-title":"Mathematical Knowledge Management","author":"F Guidi","year":"2003","unstructured":"Guidi, F., Schena, I.: A query language for a metadata framework about mathematical resources. In: Asperti, A., Buchberger, B., Davenport, J.H. (eds.) Mathematical Knowledge Management, pp. 105\u2013118. Springer, Bertinoro (2003)"},{"key":"20_CR22","unstructured":"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\u2013102 (2014)"},{"key":"20_CR23","doi-asserted-by":"crossref","unstructured":"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\u20133523, October 2008","DOI":"10.1109\/ICSMC.2008.4811843"},{"key":"20_CR24","unstructured":"Hambasan, R., Kohlhase, M., Prodescu, C.: MathWebSearch at NTCIR-11. In: Proceedings of the 10th NTCIR Conference, Tokyo, Japan, pp. 114\u2013119 (2014)"},{"key":"20_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"298","DOI":"10.1007\/978-3-319-08434-3_22","volume-title":"Intelligent Computer Mathematics","author":"Y Haralambous","year":"2014","unstructured":"Haralambous, Y., Quaresma, P.: Querying geometric figures using a controlled language, ontological graphs and dependency lattices. In: Watt, S.M., Davenport, J.H., Sexton, A.P., Sojka, P., Urban, J. (eds.) CICM 2014. LNCS, vol. 8543, pp. 298\u2013311. Springer, Heidelberg (2014)"},{"key":"20_CR26","unstructured":"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\u2013695 (2013)"},{"key":"20_CR27","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"313","DOI":"10.1007\/978-3-540-73086-6_25","volume-title":"Towards Mechanized Mathematical Assistants","author":"A Kohlhase","year":"2007","unstructured":"Kohlhase, A., Kohlhase, M.: Reexamining the MKM value proposition: from math web search to math web ReSearch. In: Kauers, M., Kerber, M., Miner, R., Windsteiger, W. (eds.) MKM\/CALCULEMUS 2007. LNCS (LNAI), vol. 4573, pp. 313\u2013326. Springer, Heidelberg (2007)"},{"key":"20_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1007\/978-3-319-08434-3_12","volume-title":"Intelligent Computer Mathematics","author":"A Kohlhase","year":"2014","unstructured":"Kohlhase, A.: Search interfaces for mathematicians. In: Watt, S.M., Davenport, J.H., Sexton, A.P., Sojka, P., Urban, J. (eds.) CICM 2014. LNCS, vol. 8543, pp. 153\u2013168. Springer, Heidelberg (2014)"},{"key":"20_CR29","unstructured":"Kohlhase, M., Prodescu, C.: MathWebSearch at NTCIR-10. In: Proceedings of the 10th NTCIR Conference, Tokyo, Japan, pp. 675\u2013679 (2013)"},{"key":"20_CR30","unstructured":"Kamali, S., Tompa, F.W.: Improving mathematics retrieval. In: Proceedings of Towards Digital Mathematics Library, DML 2009, Grand Bend, Ontario, Canada, 8\u20139 July, pp. 37\u201348. Masaryk University, Brno (2009)"},{"key":"20_CR31","doi-asserted-by":"crossref","unstructured":"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\u20131416. ACM, New York (2010)","DOI":"10.1145\/1871437.1871635"},{"key":"20_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"246","DOI":"10.1007\/978-3-642-39320-4_16","volume-title":"Intelligent Computer Mathematics","author":"S Kamali","year":"2013","unstructured":"Kamali, S., Tompa, F.W.: Structural similarity search for mathematics retrieval. In: Carette, J., Aspinall, D., Lange, C., Sojka, P., Windsteiger, W. (eds.) CICM 2013. LNCS, vol. 7961, pp. 246\u2013262. Springer, Heidelberg (2013)"},{"key":"20_CR33","unstructured":"Kristianto, G.Y., Topi\u0107, 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\u2013126 (2014)"},{"key":"20_CR34","unstructured":"L\u00ed\u0161ka, M.: Searching Mathematical Texts (2010)"},{"key":"20_CR35","unstructured":"L\u00ed\u0161ka, M.: Evaluation of Mathematics Retrieval (2013)"},{"key":"20_CR36","unstructured":"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\u2013146 (2014)"},{"key":"20_CR37","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"520","DOI":"10.1007\/978-3-540-85110-3_42","volume-title":"Intelligent Computer Mathematics","author":"P Libbrecht","year":"2008","unstructured":"Libbrecht, P., Desmoulins, C., Mercat, C., Laborde, C., Dietrich, M., Hendriks, M.: Cross-curriculum search for intergeo. In: Autexier, S., Campbell, J., Rubio, J., Sorge, V., Suzuki, M., Wiedijk, F. (eds.) AISC 2008, Calculemus 2008, and MKM 2008. LNCS (LNAI), vol. 5144, pp. 520\u2013535. Springer, Heidelberg (2008)"},{"key":"20_CR38","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"296","DOI":"10.1007\/978-3-642-39320-4_20","volume-title":"Intelligent Computer Mathematics","author":"P Libbrecht","year":"2013","unstructured":"Libbrecht, P.: Escaping the trap of too precise topic queries. In: Carette, J., Aspinall, D., Lange, C., Sojka, P., Windsteiger, W. (eds.) CICM 2013. LNCS, vol. 7961, pp. 296\u2013309. Springer, Heidelberg (2013)"},{"key":"20_CR39","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1007\/11832225_33","volume-title":"Mathematical Software - ICMS 2006","author":"P Libbrecht","year":"2006","unstructured":"Libbrecht, P., Melis, E.: Methods to access and retrieve mathematical content in ActiveMath. In: Iglesias, A., Takayama, N. (eds.) ICMS 2006. LNCS, vol. 4151, pp. 331\u2013342. Springer, Heidelberg (2006)"},{"key":"20_CR40","unstructured":"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\u2013666 (2013)"},{"key":"20_CR41","unstructured":"L\u00ed\u0161ka, M., Sojka, P., L\u00ed\u0161ka, 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\u201321 July, pp. 77\u201384. Masaryk University, Brno (2011)"},{"key":"20_CR42","unstructured":"L\u00ed\u0161ka, M., Sojka, P., R\u016f\u017ei\u010dka, 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\u2013691 (2013)"},{"key":"20_CR43","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"444","DOI":"10.1007\/978-3-319-08434-3_36","volume-title":"Intelligent Computer Mathematics","author":"M L\u00ed\u0161ka","year":"2014","unstructured":"L\u00ed\u0161ka, M., Sojka, P., R\u016f\u017ei\u010dka, M.: Math indexer and searcher web interface. In: Watt, S.M., Davenport, J.H., Sexton, A.P., Sojka, P., Urban, J. (eds.) CICM 2014. LNCS, vol. 8543, pp. 444\u2013448. Springer, Heidelberg (2014)"},{"key":"20_CR44","doi-asserted-by":"crossref","unstructured":"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\u20136, April 2008","DOI":"10.1109\/ICTTA.2008.4530006"},{"key":"20_CR45","unstructured":"Mi\u0161utka, J., Galambo\u0161, L.: Extending full text search engine for mathematical content. In: Proceedings of Towards Digital Mathematics Library, DML 2008, Birmingham, UK, 27 July, pp. 55\u201367. Masaryk University, Brno (2008)"},{"key":"20_CR46","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"288","DOI":"10.1007\/978-3-642-39320-4_19","volume-title":"Intelligent Computer Mathematics","author":"BR Miller","year":"2013","unstructured":"Miller, B.R.: Three years of DLMF: web, math and search. In: Carette, J., Aspinall, D., Lange, C., Sojka, P., Windsteiger, W. (eds.) CICM 2013. LNCS, vol. 7961, pp. 288\u2013295. Springer, Heidelberg (2013)"},{"key":"20_CR47","doi-asserted-by":"crossref","unstructured":"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\u2013735. ACM (2006)","DOI":"10.1145\/1148170.1148348"},{"key":"20_CR48","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"342","DOI":"10.1007\/978-3-540-73086-6_27","volume-title":"Towards Mechanized Mathematical Assistants","author":"R Miner","year":"2007","unstructured":"Miner, R., Munavalli, R.: An approach to mathematical search through query formulation and data normalization. In: Kauers, M., Kerber, M., Miner, R., Windsteiger, W. (eds.) MKM\/CALCULEMUS 2007. LNCS (LNAI), vol. 4573, pp. 342\u2013355. Springer, Heidelberg (2007)"},{"issue":"1\u20133","key":"20_CR49","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1023\/A:1022967814992","volume":"38","author":"BR Miller","year":"2003","unstructured":"Miller, B.R., Youssef, A.: Technical aspects of the digital library of mathematical functions. Ann. Math. Artif. Intell. 38(1\u20133), 121\u2013136 (2003)","journal-title":"Ann. Math. Artif. Intell."},{"key":"20_CR50","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"536","DOI":"10.1007\/978-3-540-85110-3_43","volume-title":"Intelligent Computer Mathematics","author":"BR Miller","year":"2008","unstructured":"Miller, B.R., Youssef, A.M.: Augmenting presentation MathML for search. In: Autexier, S., Campbell, J., Rubio, J., Sorge, V., Suzuki, M., Wiedijk, F. (eds.) AISC 2008, Calculemus 2008, and MKM 2008. LNCS (LNAI), vol. 5144, pp. 536\u2013542. Springer, Heidelberg (2008)"},{"key":"20_CR51","doi-asserted-by":"crossref","unstructured":"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\u2013733. ACM (2012)","DOI":"10.1145\/2396761.2396854"},{"key":"20_CR52","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"356","DOI":"10.1007\/978-3-540-73086-6_28","volume-title":"Towards Mechanized Mathematical Assistants","author":"I Normann","year":"2007","unstructured":"Normann, I., Kohlhase, M.: Extended formula normalization for \n$$\\epsilon $$\n-retrieval and sharing of mathematical knowledge. In: Kauers, M., Kerber, M., Miner, R., Windsteiger, W. (eds.) MKM\/CALCULEMUS 2007. LNCS (LNAI), vol. 4573, pp. 356\u2013370. Springer, Heidelberg (2007)"},{"key":"20_CR53","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"200","DOI":"10.1007\/978-3-319-08434-3_15","volume-title":"Intelligent Computer Mathematics","author":"M-Q Nghiem","year":"2014","unstructured":"Nghiem, M.-Q., Kristianto, G.Y., Topi\u0107, G., Aizawa, A.: Which one is better: presentation-based or content-based math search? In: Watt, S.M., Davenport, J.H., Sexton, A.P., Sojka, P., Urban, J. (eds.) CICM 2014. LNCS, vol. 8543, pp. 200\u2013212. Springer, Heidelberg (2014)"},{"key":"20_CR54","unstructured":"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\u2013142 (2014)"},{"key":"20_CR55","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1007\/978-3-642-31374-5_10","volume-title":"Intelligent Computer Mathematics","author":"F Rabe","year":"2012","unstructured":"Rabe, F.: A query language for formal mathematical libraries. In: Campbell, J.A., Jeuring, J., Carette, J., Dos Reis, G., Sojka, P., Wenzel, M., Sorge, V. (eds.) CICM 2012. LNCS, vol. 7362, pp. 143\u2013158. Springer, Heidelberg (2012)"},{"key":"20_CR56","unstructured":"R\u016f\u017ei\u010dka, M., Sojka, P., L\u00ed\u0161ka, 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\u2013134 (2014)"},{"key":"20_CR57","doi-asserted-by":"crossref","unstructured":"Sojka, P., L\u00ed\u0161ka, M.: The art of mathematics retrieval. In: Proceedings of the 11th ACM Symposium on Document Engineering, pp. 57\u201360. ACM (2011)","DOI":"10.1145\/2034691.2034703"},{"key":"20_CR58","unstructured":"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\u2013674 (2013)"},{"key":"20_CR59","doi-asserted-by":"crossref","unstructured":"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\u201313 December, pp. 643\u2013648 (2007)","DOI":"10.1109\/ICDIM.2007.4444297"},{"key":"20_CR60","unstructured":"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\u2013113 (2014)"},{"key":"20_CR61","unstructured":"Topi\u0107, 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\u2013685 (2013)"},{"key":"20_CR62","unstructured":"Wolska, M., Grigore, M.: Symbol declarations in mathematical writing. In: Proceedings of Towards Digital Mathematics Library, DML 2010, Paris, France, 7\u20138 July, pp. 119\u2013127. Masaryk University, Brno (2010)"},{"key":"20_CR63","unstructured":"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\u201311 July, Imperial Palace Hotel Las Vegas, Las Vegas, Nevada, USA, pp. 57\u201363 (2007)"},{"key":"20_CR64","unstructured":"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\u20139 July, pp. 27\u201335. Masaryk University, Brno (2009)"},{"key":"20_CR65","unstructured":"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\u201322 July, Novotel Toronto Centre, Toronto, Canada, pp. 100\u2013105 (2005)"},{"key":"20_CR66","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1007\/11812289_2","volume-title":"Mathematical Knowledge Management","author":"AM Youssef","year":"2006","unstructured":"Youssef, A.M.: Roles of math search in mathematics. In: Borwein, J.M., Farmer, W.M. (eds.) MKM 2006. LNCS (LNAI), vol. 4108, pp. 2\u201316. Springer, Heidelberg (2006)"},{"key":"20_CR67","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"393","DOI":"10.1007\/978-3-540-73086-6_31","volume-title":"Towards Mechanized Mathematical Assistants","author":"AS Youssef","year":"2007","unstructured":"Youssef, A.S.: Methods of relevance ranking and hit-content generation in math search. In: Kauers, M., Kerber, M., Miner, R., Windsteiger, W. (eds.) MKM\/CALCULEMUS 2007. LNCS (LNAI), vol. 4573, pp. 393\u2013406. Springer, Heidelberg (2007)"},{"issue":"2","key":"20_CR68","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1007\/s11786-008-0057-3","volume":"2","author":"AS Youssef","year":"2008","unstructured":"Youssef, A.S.: Relevance ranking and hit description in math search. Math. Comput. Sci. 2(2), 333\u2013353 (2008)","journal-title":"Math. Comput. Sci."},{"key":"20_CR69","doi-asserted-by":"crossref","unstructured":"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)","DOI":"10.1109\/ICDIM.2007.4444297"},{"issue":"4","key":"20_CR70","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1007\/s10032-011-0174-4","volume":"15","author":"R Zanibbi","year":"2012","unstructured":"Zanibbi, R., Blostein, D.: Recognition and retrieval of mathematical expressions. Int. J. Doc. Anal. Recogn. (IJDAR) 15(4), 331\u2013357 (2012)","journal-title":"Int. J. Doc. Anal. Recogn. (IJDAR)"},{"key":"20_CR71","doi-asserted-by":"crossref","unstructured":"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\u2013196. ACM (2008)","DOI":"10.1145\/1378889.1378921"},{"key":"20_CR72","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"404","DOI":"10.1007\/978-3-319-08434-3_29","volume-title":"Intelligent Computer Mathematics","author":"Q Zhang","year":"2014","unstructured":"Zhang, Q., Youssef, A.: An approach to math-similarity search. In: Watt, S.M., Davenport, J.H., Sexton, A.P., Sojka, P., Urban, J. (eds.) CICM 2014. LNCS, vol. 8543, pp. 404\u2013418. Springer, Heidelberg (2014)"}],"container-title":["Lecture Notes in Computer Science","Intelligent Computer Mathematics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-20615-8_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,21]],"date-time":"2023-02-21T02:06:57Z","timestamp":1676945217000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-20615-8_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319206141","9783319206158"],"references-count":72,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-20615-8_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"23 June 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}