{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,3]],"date-time":"2025-06-03T04:08:39Z","timestamp":1748923719577,"version":"3.41.0"},"publisher-location":"Cham","reference-count":21,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319328584"},{"type":"electronic","value":"9783319328591"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"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":[[2016]]},"DOI":"10.1007\/978-3-319-32859-1_33","type":"book-chapter","created":{"date-parts":[[2016,4,15]],"date-time":"2016-04-15T15:12:06Z","timestamp":1460733126000},"page":"383-397","source":"Crossref","is-referenced-by-count":4,"title":["Searching for Geometric Theorems Using Features Retrieved from Diagrams"],"prefix":"10.1007","author":[{"given":"Wenya","family":"An","sequence":"first","affiliation":[]},{"given":"Xiaoyu","family":"Chen","sequence":"additional","affiliation":[]},{"given":"Dongming","family":"Wang","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,4,16]]},"reference":[{"issue":"2","key":"33_CR1","doi-asserted-by":"publisher","first-page":"382","DOI":"10.1007\/s11424-014-0316-0","volume":"27","author":"X Chen","year":"2014","unstructured":"Chen, X.: Representation and automated transformation of geometric statements. J. Syst. Sci. Complexity 27(2), 382\u2013412 (2014)","journal-title":"J. Syst. Sci. Complexity"},{"issue":"3\u20134","key":"33_CR2","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1007\/s10472-014-9433-7","volume":"74","author":"X Chen","year":"2015","unstructured":"Chen, X., Song, D., Wang, D.: Automated generation of geometric theorems from images of diagrams. Ann. Math. Artif. Intell. 74(3\u20134), 333\u2013358 (2015)","journal-title":"Ann. Math. Artif. Intell."},{"issue":"4","key":"33_CR3","doi-asserted-by":"publisher","first-page":"439","DOI":"10.1007\/s11786-013-0167-4","volume":"7","author":"X Chen","year":"2013","unstructured":"Chen, X., Wang, D.: Formalization and specification of geometric knowledge objects. Math. Comput. Sci. 7(4), 439\u2013454 (2013)","journal-title":"Math. Comput. Sci."},{"key":"33_CR4","volume-title":"Mechanical Geometry Theorem Proving","author":"S-C Chou","year":"1988","unstructured":"Chou, S.-C.: Mechanical Geometry Theorem Proving. D. Reidel, Dordrecht (1988)"},{"key":"33_CR5","doi-asserted-by":"crossref","first-page":"447","DOI":"10.1016\/j.amc.2006.04.006","volume":"182","author":"M Dehmer","year":"2006","unstructured":"Dehmer, M., Emmert-Streib, F., Kilian, J.: A similarity measure for graphs with low computational complexity. Appl. Math. Comput. 182, 447\u2013459 (2006)","journal-title":"Appl. Math. Comput."},{"key":"33_CR6","doi-asserted-by":"crossref","unstructured":"Einwohner, T.H., Fateman, R.J.: Searching techniques for integral tables. In: 1995 International Symposium on Symbolic and Algebraic Computation, pp. 133\u2013139. ACM (1995)","DOI":"10.1145\/220346.220364"},{"key":"33_CR7","doi-asserted-by":"crossref","unstructured":"Giugno, R., Shasha, D.: GraphGrep: a fast and universal method for querying graphs. In: 16th International Conference in Pattern Recognition, pp. 112\u2013115. IEEE (2002)","DOI":"10.1109\/ICPR.2002.1048250"},{"key":"33_CR8","unstructured":"Grottke, S., Jeschke, S., Natho, N., Seiler, R.: mArachna: a classification scheme for semantic retrieval in elearning environments in mathematics. Recent Research Developments in Learning Technologies (2005)"},{"key":"33_CR9","series-title":"LNAI","doi-asserted-by":"crossref","first-page":"298","DOI":"10.1007\/978-3-319-08434-3_22","volume-title":"Intelligent Computer Mathematics (CICM 2014)","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.) Intelligent Computer Mathematics (CICM 2014). LNAI, vol. 8543, pp. 298\u2013311. Springer, Heidelberg (2014)"},{"key":"33_CR10","doi-asserted-by":"crossref","unstructured":"Hashimoto, H., Hijikata, Y., Nishida, S.: Incorporating breadth first search for indexing MathML objects. In: The International Conference on Systems, Man and Cybernetics, pp. 3519\u20133523. IEEE (2008)","DOI":"10.1109\/ICSMC.2008.4811843"},{"key":"33_CR11","unstructured":"Kamali, S., Tompa, F.W.: Improving mathematics retrieval. In: Towards a Digital Mathematics Library, pp. 37\u201348 (2009)"},{"key":"33_CR12","doi-asserted-by":"crossref","unstructured":"Kamali, S., Tompa, F.W.: A new mathematics retrieval system. In: 19th ACM International Conference on Information and Knowledge Management, pp. 1413\u20131416. ACM (2010)","DOI":"10.1145\/1871437.1871635"},{"key":"33_CR13","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1007\/11856290_21","volume-title":"Artificial Intelligence and Symbolic Computation (AISC 2006)","author":"M Kohlhase","year":"2006","unstructured":"Kohlhase, M., Sucan, I.: A search engine for mathematical formulae. In: Calmet, J., Ida, T., Wang, D. (eds.) Artificial Intelligence and Symbolic Computation (AISC 2006). LNAI, vol. 4120, pp. 241\u2013253. Springer, Heidelberg (2006)"},{"key":"33_CR14","unstructured":"Kumar, S., Manjeet, S., Avik, D.: OWL-based ontology indexing and retrieving algorithms for Semantic Search Engine. In: The 7th International Conference of Computing and Convergence Technology, pp. 1135\u20131140. IEEE (2012)"},{"key":"33_CR15","doi-asserted-by":"publisher","first-page":"631","DOI":"10.1093\/comjnl\/45.6.631","volume":"45","author":"JW Raymond","year":"2002","unstructured":"Raymond, J.W., Gardiner, E.J., Willett, P.: RASCAL: calculation of graph similarity using maximum common edge subgraphs. Comput. J. 45, 631\u2013644 (2002)","journal-title":"Comput. J."},{"key":"33_CR16","first-page":"35","volume":"24","author":"A Singhal","year":"2001","unstructured":"Singhal, A.: Modern information retrieval: a brief overview. IEEE Data Eng. Bull. 24, 35\u201343 (2001)","journal-title":"IEEE Data Eng. Bull."},{"key":"33_CR17","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1007\/978-3-319-21362-0_10","volume-title":"Automated Deduction in Geometry (ADG 2014)","author":"D Song","year":"2015","unstructured":"Song, D., Wang, D., Chen, X.: Discovering geometric theorems from scanned and photographed images of diagrams. In: Botana, F., Quaresma, P. (eds.) Automated Deduction in Geometry (ADG 2014). LNAI, vol. 9201, pp. 149\u2013165. Springer, Heidelberg (2015)"},{"key":"33_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"240","DOI":"10.1007\/978-3-662-44199-2_38","volume-title":"Mathematical Software (ICMS 2014)","author":"D Wang","year":"2014","unstructured":"Wang, D., Chen, X., An, W., et al.: OpenGeo: an open geometric knowledge base. In: Hong, H., Yap, C. (eds.) Mathematical Software (ICMS 2014). LNCS, vol. 8592, pp. 240\u2013245. Springer, Heidelberg (2014)"},{"key":"33_CR19","unstructured":"Wical, K.: Concept knowledge base search and retrieval system. Patent 6,038,560. U.S (2000)"},{"key":"33_CR20","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1007\/978-1-4612-4980-1_18","volume-title":"On Knowledge Base Management Systems","author":"WA Woods","year":"1986","unstructured":"Woods, W.A.: Knowledge base retrieval. In: Brodie, M.L., Mylopoulos, J. (eds.) On Knowledge Base Management Systems, pp. 179\u2013195. Springer, New York (1986)"},{"key":"33_CR21","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. 15, 331\u2013357 (2012)","journal-title":"Int. J. Doc. Anal. Recogn."}],"container-title":["Lecture Notes in Computer Science","Mathematical Aspects of Computer and Information Sciences"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-32859-1_33","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,2]],"date-time":"2025-06-02T19:17:28Z","timestamp":1748891848000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-32859-1_33"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319328584","9783319328591"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-32859-1_33","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}