{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T08:13:12Z","timestamp":1743149592662,"version":"3.40.3"},"publisher-location":"Cham","reference-count":14,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319213613"},{"type":"electronic","value":"9783319213620"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-21362-0_10","type":"book-chapter","created":{"date-parts":[[2015,7,17]],"date-time":"2015-07-17T01:56:52Z","timestamp":1437098212000},"page":"149-165","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Discovering Geometric Theorems from Scanned and Photographed Images of Diagrams"],"prefix":"10.1007","author":[{"given":"Dan","family":"Song","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dongming","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xiaoyu","family":"Chen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,7,18]]},"reference":[{"key":"10_CR1","doi-asserted-by":"crossref","unstructured":"Arai, N.H., Matsuzaki, T., Iwane, H., Anai, H.: Mathematics by machine. In: Proceedings of the 39th International Symposium on Symbolic and Algebraic Computation (Kobe, Japan, July 23\u201325, 2014), pp. 1\u20138. ACM Press, New York","DOI":"10.1145\/2608628.2627488"},{"issue":"6","key":"10_CR2","doi-asserted-by":"publisher","first-page":"473","DOI":"10.1006\/rtim.2001.0233","volume":"7","author":"TC Chen","year":"2001","unstructured":"Chen, T.C., Chung, K.L.: A new randomized algorithm for detecting lines. Real-Time Imaging 7(6), 473\u2013481 (2001)","journal-title":"Real-Time Imaging"},{"issue":"2","key":"10_CR3","doi-asserted-by":"publisher","first-page":"172","DOI":"10.1006\/cviu.2001.0923","volume":"83","author":"TC Chen","year":"2001","unstructured":"Chen, T.C., Chung, K.L.: An efficient randomized algorithm for detecting circles. Comput. Vis. Image Underst. 83(2), 172\u2013191 (2001)","journal-title":"Comput. Vis. Image Underst."},{"issue":"2","key":"10_CR4","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. Complex. 27(2), 382\u2013412 (2014)","journal-title":"J. Syst. Sci. Complex."},{"key":"10_CR5","doi-asserted-by":"publisher","unstructured":"Chen, X., Song, D., Wang, D.: Automated generation of geometric theorems from images of diagrams. Geometric Reasoning \u2013 Special issue of Annals of Mathematics and Artificial Intelligence. Springer (2014). doi:10.1007\/s10472-014-9433-7","DOI":"10.1007\/s10472-014-9433-7"},{"issue":"1","key":"10_CR6","first-page":"11","volume":"15","author":"RO Duda","year":"1972","unstructured":"Duda, R.O., Hart, P.E.: Use of the Hough transformation to detect lines and curves in pictures. Commun. Assoc. Comput. Mach. 15(1), 11\u201315 (1972)","journal-title":"Commun. Assoc. Comput. Mach."},{"issue":"3","key":"10_CR7","doi-asserted-by":"publisher","first-page":"158","DOI":"10.1049\/ip-vis:20010354","volume":"148","author":"C Galambos","year":"2001","unstructured":"Galambos, C., Kittler, J., Matas, J.: Gradient based progressive probabilistic Hough transform. Vis. Image Signal Process. 148(3), 158\u2013165 (2001)","journal-title":"Vis. Image Signal Process."},{"issue":"2","key":"10_CR8","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1023\/B:VISI.0000029664.99615.94","volume":"60","author":"GD Lowe","year":"2004","unstructured":"Lowe, G.D.: Distinctive image features from scale-invariant keypoints. Int. J. Comput. Vision 60(2), 91\u2013110 (2004)","journal-title":"Int. J. Comput. Vision"},{"key":"10_CR9","volume-title":"Optical Character Recognition","author":"S Mori","year":"1999","unstructured":"Mori, S., Nishida, H., Yamada, H.: Optical Character Recognition. Wiley, New York (1999)"},{"key":"10_CR10","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1007\/978-3-662-05148-1_15","volume-title":"Algebra, Geometry, and Software Systems","author":"D Wang","year":"2003","unstructured":"Wang, D.: Automated generation of diagrams with Maple and Java. In: Joswig, M., Takayama, N. (eds.) Algebra, Geometry, and Software Systems, pp. 277\u2013287. Springer-Verlag, Berlin (2003)"},{"issue":"3","key":"10_CR11","first-page":"236","volume":"27","author":"TY Zhang","year":"1984","unstructured":"Zhang, T.Y., Suen, C.Y.: A fast parallel algorithm for thinning digital patterns. Commun. Assoc. Comput. Mach. 27(3), 236\u2013239 (1984)","journal-title":"Commun. Assoc. Comput. Mach."},{"key":"10_CR12","unstructured":"GEOTHER. http:\/\/www-polsys.lip6.fr\/wang\/GEOTHER\/. Accessed on 24 April 2015"},{"key":"10_CR13","unstructured":"OpenCV. http:\/\/opencv.org\/. Accessed on 24 April 2015"},{"key":"10_CR14","unstructured":"Tesseract-OCR. http:\/\/code.google.com\/p\/tesseract-ocr\/. Accessed on 24 April 2015"}],"container-title":["Lecture Notes in Computer Science","Automated Deduction in Geometry"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-21362-0_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,10]],"date-time":"2023-02-10T10:41:18Z","timestamp":1676025678000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-21362-0_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319213613","9783319213620"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-21362-0_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"18 July 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}