{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,5]],"date-time":"2025-08-05T12:14:20Z","timestamp":1754396060488,"version":"3.41.0"},"publisher-location":"Cham","reference-count":16,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319757858"},{"type":"electronic","value":"9783319757865"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-75786-5_30","type":"book-chapter","created":{"date-parts":[[2018,2,14]],"date-time":"2018-02-14T15:34:17Z","timestamp":1518622457000},"page":"366-381","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["Understanding Plane Geometry Problems by Integrating Relations Extracted from Text and Diagram"],"prefix":"10.1007","author":[{"given":"Wenbin","family":"Gan","sequence":"first","affiliation":[]},{"given":"Xinguo","family":"Yu","sequence":"additional","affiliation":[]},{"given":"Chao","family":"Sun","sequence":"additional","affiliation":[]},{"given":"Bin","family":"He","sequence":"additional","affiliation":[]},{"given":"Mingshu","family":"Wang","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,2,15]]},"reference":[{"issue":"3\u20134","key":"30_CR1","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."},{"key":"30_CR2","doi-asserted-by":"publisher","DOI":"10.1142\/2196","volume-title":"Machine Proofs in Geometry: Automated Production of Readable Proofs for Geometry Theorems","author":"SC Chou","year":"1994","unstructured":"Chou, S.C., Gao, X.S., Zhang, J.Z.: Machine Proofs in Geometry: Automated Production of Readable Proofs for Geometry Theorems. World Scientific, Singapore (1994)"},{"key":"30_CR3","unstructured":"Ge, Q.: Research of automated geometry reasoning and its application with constrained conditions. Ph.D. thesis, Central China Normal University (2011)"},{"issue":"6A","key":"30_CR4","first-page":"503","volume":"39","author":"HY Guo","year":"2012","unstructured":"Guo, H.Y., Liu, Q.T., Chen, M., Huang, H., Ge, Q.: Research for facing the natural language of the geometry drawing. Comput. Sci. 39(6A), 503\u2013506 (2012)","journal-title":"Comput. Sci."},{"key":"30_CR5","unstructured":"Jiang, J.: iGeo: a theorem prover of the intelligent geometry software. Ph.D. thesis, Chengdu Computer Application Research Institute of Chinese Academy of Sciences (2006)"},{"issue":"4","key":"30_CR6","doi-asserted-by":"publisher","first-page":"802","DOI":"10.1007\/s11424-012-2048-3","volume":"25","author":"J Jiang","year":"2012","unstructured":"Jiang, J., Zhang, J.: A review and prospect of readable machine proofs for geometry theorems. J. Syst. Sci. Complex. 25(4), 802\u2013820 (2012)","journal-title":"J. Syst. Sci. Complex."},{"key":"30_CR7","doi-asserted-by":"crossref","unstructured":"Liu, L., Lu, X., Fu, S., Qu, J., Gao, L., Tang, Z.: Plane geometry figure retrieval based on bilayer geometric attributed graph matching. In: ICPR, pp. 309\u2013314. IEEE (2014)","DOI":"10.1109\/ICPR.2014.62"},{"key":"30_CR8","unstructured":"Montalvo, F.: Diagram understanding: the intersection of computer vision and graphics. Massachusetts Institute of Technology (1985)"},{"key":"30_CR9","unstructured":"Mukherjee, A., Garain, U.: Understanding of natural language text for diagram drawing. In: 13th International Conference on Artificial Intelligence and Soft Computing (2009)"},{"key":"30_CR10","doi-asserted-by":"crossref","unstructured":"Nakamura, Y., Furukawa, R., Nagao, M.: Diagram understanding utilizing natural language text. In: ICDAR, pp. 614\u2013618. IEEE (1993)","DOI":"10.1109\/ICDAR.1993.395661"},{"key":"30_CR11","doi-asserted-by":"crossref","unstructured":"Seo, M.J., Hajishirzi, H., Farhadi, A., Etzioni, O.: Diagram understanding in geometry questions. In: 28th AAAI Conference on Artificial Intelligence, pp. 2831\u20132838 (2014)","DOI":"10.1609\/aaai.v28i1.9146"},{"key":"30_CR12","doi-asserted-by":"crossref","unstructured":"Seo, M.J., Hajishirzi, H., Farhadi, A., Etzioni, O., Malcolm, C.: Solving geometry problems: combining text and diagram interpretation. In: EMNLP, pp. 1466\u20131476 (2015)","DOI":"10.18653\/v1\/D15-1171"},{"key":"30_CR13","doi-asserted-by":"crossref","unstructured":"Srihari, R.K.: Computational models for integrating linguistic and visual information: a survey. Artif. Intell. Rev. 8(5-6), 349\u2013369 (1994)","DOI":"10.1007\/BF00849725"},{"issue":"3","key":"30_CR14","first-page":"231","volume":"3","author":"WK Wong","year":"2009","unstructured":"Wong, W.K., Huang, C.W., et al.: A computer-assisted environment for understanding geometry theorem proving problems and making conjectures. Int. J. Intell. Inf. Database Syst. 3(3), 231\u2013245 (2009)","journal-title":"Int. J. Intell. Inf. Database Syst."},{"key":"30_CR15","unstructured":"Zhang, H.P., Liu, Q.: ICTCLAS. Institute of Computing Technology, Chinese Academy of Sciences (2002). http:\/\/www.ict.ac.cn\/freeware\/003_ictclas.asp"},{"key":"30_CR16","doi-asserted-by":"publisher","first-page":"280","DOI":"10.1016\/j.amc.2014.10.114","volume":"35","author":"X Zhang","year":"2015","unstructured":"Zhang, X., Fu, H.: Recognizing and understanding of plane geometry. J. Comput. Appl. 35, 280\u2013283, 341 (2015)","journal-title":"J. Comput. Appl."}],"container-title":["Lecture Notes in Computer Science","Image and Video Technology"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-75786-5_30","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,1]],"date-time":"2025-07-01T20:58:33Z","timestamp":1751403513000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-75786-5_30"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319757858","9783319757865"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-75786-5_30","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]},"assertion":[{"value":"15 February 2018","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"PSIVT","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Pacific-Rim Symposium on Image and Video Technology","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Wuhan","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"China","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2017","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"20 November 2017","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"24 November 2017","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"8","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"psivt2017","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.psivt2017.org\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}