{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,1]],"date-time":"2026-05-01T17:38:27Z","timestamp":1777657107287,"version":"3.51.4"},"reference-count":34,"publisher":"Springer Science and Business Media LLC","issue":"3-4","license":[{"start":{"date-parts":[[2014,10,8]],"date-time":"2014-10-08T00:00:00Z","timestamp":1412726400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Ann Math Artif Intell"],"published-print":{"date-parts":[[2015,8]]},"DOI":"10.1007\/s10472-014-9433-7","type":"journal-article","created":{"date-parts":[[2014,10,7]],"date-time":"2014-10-07T21:11:28Z","timestamp":1412716288000},"page":"333-358","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":22,"title":["Automated generation of geometric theorems from images of diagrams"],"prefix":"10.1007","volume":"74","author":[{"given":"Xiaoyu","family":"Chen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dan","family":"Song","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dongming","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2014,10,8]]},"reference":[{"key":"9433_CR1","doi-asserted-by":"crossref","unstructured":"Avigad, J., Dean, E., Mumma, J.: A formal system for Euclid\u2019s Elements. Rev. Symbolic Logic 2(4), 700\u2013768 (2009)","DOI":"10.1017\/S1755020309990098"},{"key":"9433_CR2","doi-asserted-by":"crossref","unstructured":"Balbiani, P., Fari\u00f1as del Cerro, L.: Diagrammatic reasoning in projective geometry. In: Ohlbach, H.J., Reyle, U.(eds.) Logic, Language and Reasoning. Trends in Logic, vol.5, pp. 99\u2013114. Kluwer, Dordrecht (1999)","DOI":"10.1007\/978-94-011-4574-9_6"},{"key":"9433_CR3","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-44860-8_83","volume-title":"A web-based intelligent system for geometric discovery. In: Computational Science \u2013 ICCS 2003, LNCS 2657, pp. 801\u2013810","author":"F Botana","year":"2003","unstructured":"Botana, F.: A web-based intelligent system for geometric discovery. In: Computational Science \u2013 ICCS 2003, LNCS 2657, pp. 801\u2013810. Springer, Berlin Heidelberg (2003)"},{"issue":"6","key":"9433_CR4","doi-asserted-by":"crossref","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":"9433_CR5","doi-asserted-by":"crossref","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. Comp. Vision Image Underst. 83(2), 172\u2013191 (2001)","journal-title":"Comp. Vision Image Underst."},{"key":"9433_CR6","doi-asserted-by":"crossref","unstructured":"Chou, S.-C., Gao, X.-S.: Automated reasoning in geometry. In: Handbook of Automated Reasoning, vol. I, pp. 712\u2013734. Elsevier, North Holland (2001)","DOI":"10.1016\/B978-044450813-3\/50013-8"},{"issue":"3","key":"9433_CR7","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1023\/A:1006171315513","volume":"25","author":"S-C Chou","year":"1996","unstructured":"Chou, S.-C., Gao, X.-S., Zhang, J.-Z.: A deductive database approach to automated geometry theorem proving and discovering. J. Autom. Reason. 25(3), 219\u2013246 (1996)","journal-title":"J. Autom. Reason."},{"key":"9433_CR8","doi-asserted-by":"crossref","unstructured":"Chou, S.-C., Lin, D.: Wu\u2019s method for automated geometry theorem proving and discovering. In: Gao, X.-S., Wang, D. (eds.) Mathematics Mechanization and Applications, pp. 125\u2013146. Academic Press, London (2000)","DOI":"10.1016\/B978-012734760-8\/50006-5"},{"issue":"2","key":"9433_CR9","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1007\/s10817-009-9133-x","volume":"43","author":"G Dalzotto","year":"2009","unstructured":"Dalzotto, G., Recio, T.: On protocols for the automated discovery of theorems in elementary geometry. J. Autom. Reason. 43(2), 203\u2013236 (2009)","journal-title":"J. Autom. Reason."},{"key":"9433_CR10","doi-asserted-by":"crossref","unstructured":"Duda, R.O., Hart, P.E.: Use of the Hough transformation to detect lines and curves in pictures. Comm. ACM 15(1), 11\u201315 (1972)","DOI":"10.1145\/361237.361242"},{"issue":"1","key":"9433_CR11","doi-asserted-by":"crossref","first-page":"299","DOI":"10.1016\/j.patcog.2007.04.003","volume":"41","author":"LAF Fernandes","year":"2005","unstructured":"Fernandes, L.A.F., Oliveira, M.M.: Real-time line detection through an improved Hough transform voting scheme. J. Pattern Recogn. Soc. 41(1), 299\u2013314 (2005)","journal-title":"J. Pattern Recogn. Soc."},{"key":"9433_CR12","doi-asserted-by":"crossref","unstructured":"Galambos, C., Kittler, J., Matas, J.: Gradient based progressive probabilistic Hough transform. Vision Image Signal Process. 148(3), 158\u2013165 (2001)","DOI":"10.1049\/ip-vis:20010354"},{"key":"9433_CR13","doi-asserted-by":"crossref","unstructured":"Ida, T., Kasem, A., Ghourabi, F., Takahashi, H.: Morley\u2019s theorem revisited: Origami construction and automated proof. J. Symb. Comput. 46(5), 571\u2013583 (2011)","DOI":"10.1016\/j.jsc.2010.10.007"},{"key":"9433_CR14","unstructured":"Kortenkamp, U.: Foundations of dynamic geometry. Ph.D. thesis ETH Z\u00fcrich, pp. 60\u201372 (1999)"},{"key":"9433_CR15","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-21046-4_7","volume-title":"Formalizing projective plane geometry in Coq. In: Automated Deduction in Geometry, LNAI 6301, pp. 141\u2013162","author":"N Magaud","year":"2011","unstructured":"Magaud, N., Narboux, J., Schreck, P.: Formalizing projective plane geometry in Coq. In: Automated Deduction in Geometry, LNAI 6301, pp. 141\u2013162. Springer, Berlin Heidelberg (2011)"},{"issue":"1","key":"9433_CR16","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1006\/cviu.1999.0831","volume":"78","author":"J Matas","year":"2000","unstructured":"Matas, J., Galambos, C., Kittler, J.: Robust detection of lines using the progressive probabilistic Hough transform. Comp. Vision Image Underst. 78(1), 119\u2013137 (2000)","journal-title":"Comp. Vision Image Underst."},{"key":"9433_CR17","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-540-77356-6_8","volume-title":"Automatic discovery of geometry theorems using minimal canonical comprehensive Gr\u00f6bner systems. In: Automated Deduction in Geometry, LNAI 4869, pp. 113\u2013138","author":"A Montes","year":"2007","unstructured":"Montes, A., Recio, T.: Automatic discovery of geometry theorems using minimal canonical comprehensive Gr\u00f6bner systems. In: Automated Deduction in Geometry, LNAI 4869, pp. 113\u2013138. Springer, Berlin Heidelberg (2007)"},{"key":"9433_CR18","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-25070-5_10","volume-title":"Thousands of geometric problems for geometric theorem provers (TGTP). In: Automated Deduction in Geometry, LNAI 6877, pp. 169\u2013181","author":"P Quaresma","year":"2011","unstructured":"Quaresma, P.: Thousands of geometric problems for geometric theorem provers (TGTP). In: Automated Deduction in Geometry, LNAI 6877, pp. 169\u2013181. Springer, Berlin Heidelberg (2011)"},{"issue":"2","key":"9433_CR19","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1016\/j.entcs.2006.09.020","volume":"174","author":"P Quaresma","year":"2007","unstructured":"Quaresma, P., Jani\u010di\u0107, P.: GeoThms \u2014 A web system for Euclidean constructive geometry. Electron. Notes Theor. Comput. Sci. 174(2), 35\u201348 (2007)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"issue":"1\u20132","key":"9433_CR20","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF01531321","volume":"13","author":"D Wang","year":"1995","unstructured":"Wang, D.: Elimination procedures for mechanical theorem proving in geometry. Ann. Math. Artif. Intell. 13(1\u20132), 1\u201324 (1995)","journal-title":"Ann. Math. Artif. Intell."},{"key":"9433_CR21","doi-asserted-by":"crossref","unstructured":"Wang, D.: Geometry machines: from AI to SMC. In: Calmet, J., Campbell, J.A., Pfalzgraf, J. (eds.) Artificial Intelligence and Symbolic Mathematical Computation. LNCS 1138, pp. 213\u2013239. Springer, Berlin Heidelberg (1996)","DOI":"10.1007\/3-540-61732-9_60"},{"key":"9433_CR22","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-7091-6202-6","volume-title":"Elimination methods","author":"D Wang","year":"2001","unstructured":"Wang, D.: Elimination methods. Springer, Wien New York (2001)"},{"key":"9433_CR23","unstructured":"Wilson, S., Fleuriot, J.D.: Combining dynamic geometry, automated geometry theorem proving and diagrammatic proofs. In: Proceedings of the European Joint Conferences on Theory and Practice of Software (ETAPS), Satellite Workshop on User Interfaces for Theorem Provers (UITP), Edinburgh, UK (2005)"},{"key":"9433_CR24","volume-title":"Mechanical theorem proving in geometries: Basic principles (translated from the Chinese by X. Jin and D. Wang)","author":"W-t Wu","year":"1994","unstructured":"Wu, W.-t.: Mechanical theorem proving in geometries: Basic principles (translated from the Chinese by X. Jin and D. Wang). Springer, Wien New York (1994)"},{"key":"9433_CR25","unstructured":"Yano, K.: The famous theorems of geometry (Chinese edition, translated by Y. Chen). Shanghai Scientific and Technical Publishers (1986)"},{"key":"9433_CR26","doi-asserted-by":"crossref","unstructured":"Ye, Z., Chou, S.-C., Gao, X.-S.: Visually dynamic presentation of proofs in plane geometry. J. Autom. Reason. 45(3), 213\u2013241 (2010)","DOI":"10.1007\/s10817-009-9162-5"},{"issue":"1","key":"9433_CR27","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1016\/0262-8856(90)90059-E","volume":"8","author":"HK Yuen","year":"1990","unstructured":"Yuen, H.K., Princen, J., Illingworth, J., Kittler, J.: Comparative study of Hough transform methods for circle finding. Image Vision Comput. 8(1), 71\u201377 (1990)","journal-title":"Image Vision Comput."},{"key":"9433_CR28","doi-asserted-by":"crossref","unstructured":"Zhang, T.Y., Suen, C.Y.: A fast parallel algorithm for thinning digital patterns. Comm. ACM 27(3), 236\u2013239 (1984)","DOI":"10.1145\/357994.358023"},{"key":"9433_CR29","unstructured":"Epsilon, http:\/\/www-polsys.lip6.fr\/wang\/epsilon\/ . Accessed May 23 2014"},{"key":"9433_CR30","unstructured":"Gaussian smoothing, http:\/\/en.wikipedia.org\/wiki\/Gaussian_blur . Accessed May 23 2014"},{"key":"9433_CR31","unstructured":"GeoGebra, http:\/\/www.geogebra.org\/cms\/ . Accessed May 23 2014"},{"key":"9433_CR32","unstructured":"GEOTHER, http:\/\/www-polsys.lip6.fr\/wang\/GEOTHER\/ . Accessed May 23 2014"},{"key":"9433_CR33","unstructured":"List of interactive geometry software, http:\/\/en.wikipedia.org\/wiki\/List_of_interactive_geometry_software . Accessed May 23 2014"},{"key":"9433_CR34","unstructured":"OpenCV, http:\/\/opencv.org\/ . Accessed May 23 2014"}],"container-title":["Annals of Mathematics and Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10472-014-9433-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10472-014-9433-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10472-014-9433-7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,15]],"date-time":"2019-08-15T23:12:44Z","timestamp":1565910764000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10472-014-9433-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,10,8]]},"references-count":34,"journal-issue":{"issue":"3-4","published-print":{"date-parts":[[2015,8]]}},"alternative-id":["9433"],"URL":"https:\/\/doi.org\/10.1007\/s10472-014-9433-7","relation":{},"ISSN":["1012-2443","1573-7470"],"issn-type":[{"value":"1012-2443","type":"print"},{"value":"1573-7470","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,10,8]]}}}