{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,28]],"date-time":"2025-05-28T06:25:41Z","timestamp":1748413541598,"version":"3.40.4"},"publisher-location":"Cham","reference-count":15,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319084336"},{"type":"electronic","value":"9783319084343"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-08434-3_29","type":"book-chapter","created":{"date-parts":[[2014,7,1]],"date-time":"2014-07-01T03:14:35Z","timestamp":1404184475000},"page":"404-418","source":"Crossref","is-referenced-by-count":11,"title":["An Approach to Math-Similarity Search"],"prefix":"10.1007","author":[{"given":"Qun","family":"Zhang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Abdou","family":"Youssef","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"29_CR1","unstructured":"The Digital Library of Mathematical Functions (DLMF), the National Institute of Standards and Technology (NIST), http:\/\/dlmf.nist.gov\/"},{"key":"29_CR2","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 (2008)","DOI":"10.1109\/ICSMC.2008.4811843"},{"key":"29_CR3","doi-asserted-by":"crossref","unstructured":"Kamali, S., Tompa, F.: A New Mathematics Retrieval System. In: Proceedings of the 19th ACM International Conference on Information and Knowledge Management, CIKM 2010. ACM, New York (2010)","DOI":"10.1145\/1871437.1871635"},{"key":"29_CR4","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1007\/11856290_21","volume-title":"Artificial Intelligence and Symbolic Computation","author":"M. Kohlhase","year":"2006","unstructured":"Kohlhase, M., Sucan, I.: A Search Engine for Mathematical Formulae. In: Calmet, J., Ida, T., Wang, D. (eds.) AISC 2006. LNCS (LNAI), vol.\u00a04120, pp. 241\u2013253. Springer, Heidelberg (2006)"},{"key":"29_CR5","series-title":"LNAI","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 (LNAI), vol.\u00a04151, pp. 331\u2013342. Springer, Heidelberg (2006)"},{"issue":"1-3","key":"29_CR6","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1023\/A:1022967814992","volume":"38","author":"B. Miller","year":"2003","unstructured":"Miller, B., Youssef, A.: Technical Aspects of the Digital Library of Mathematical Functions. Annals of Mathematics and Artificial Intelligence\u00a038(1-3), 121\u2013136 (2003)","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"29_CR7","series-title":"LNAI","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.\u00a04573, pp. 342\u2013355. Springer, Heidelberg (2007)"},{"key":"29_CR8","doi-asserted-by":"crossref","unstructured":"Miutka, J., Galambo, L.: Mathematical Extension of Full Text Search Engine Indexer. In: Proceedings of Information and Communication Technologies: From Theory to Applications, ICTTA 2008, IEEE Catalog number CFP08577, Syria, pp. 207\u2013208 (2008)","DOI":"10.1109\/ICTTA.2008.4530006"},{"key":"29_CR9","unstructured":"The 11th National Institute of Informatics Testbeds and Community for Information access Research Workshop (2013-2014), http:\/\/ntcir-math.nii.ac.jp\/"},{"key":"29_CR10","unstructured":"Reddy, A.: Features of Common Lisp (2008), http:\/\/random-state.net\/features-of-common-lisp.html"},{"key":"29_CR11","doi-asserted-by":"crossref","unstructured":"Sojika, P., Li\u0161ka, M.: The Art of Mathematics Retrieval. In: Proceedings of the ACM Conference on Document Engineering, DocEng 2011, Mountain View, CA, pp. 57\u201360 (2011)","DOI":"10.1145\/2034691.2034703"},{"key":"29_CR12","unstructured":"Mathematical Markup Language (MathML) Version 3.0 (3rd edn.), World Wide Web Consortium, http:\/\/www.w3.org\/TR\/MathML3\/"},{"key":"29_CR13","first-page":"27","volume-title":"Towards a Digital Mathematics Library","author":"K. Yokoi","year":"2009","unstructured":"Yokoi, K., Aizawa, A.: An Approach to Similarity Search for Mathematical Expressions using MathML. In: Towards a Digital Mathematics Library, Grand Bend, Ontanrio, Canada, pp. 27\u201335. Masaryk University Press, Brno (2009)"},{"key":"29_CR14","unstructured":"Youssef, A.: Information Search and Retrieval of Mathematical Contents: Issues and Methods. In: The ISCA 14th Int\u2019l Conf. on Intelligent and Adaptive Systems and Software Engineering (IASSE 2005), Toronto, Canada, July 20-22 (2005)"},{"key":"29_CR15","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"393","DOI":"10.1007\/978-3-540-73086-6_31","volume-title":"Towards Mechanized Mathematical Assistants","author":"A.S. 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.\u00a04573, pp. 393\u2013406. Springer, Heidelberg (2007)"}],"container-title":["Lecture Notes in Computer Science","Intelligent Computer Mathematics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-08434-3_29","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,3]],"date-time":"2025-05-03T15:44:59Z","timestamp":1746287099000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-08434-3_29"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319084336","9783319084343"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-08434-3_29","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}