{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,30]],"date-time":"2025-07-30T14:35:23Z","timestamp":1753886123514},"reference-count":25,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2020,11,20]],"date-time":"2020-11-20T00:00:00Z","timestamp":1605830400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,11,20]],"date-time":"2020-11-20T00:00:00Z","timestamp":1605830400000},"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":["Math.Comput.Sci."],"published-print":{"date-parts":[[2021,12]]},"DOI":"10.1007\/s11786-020-00497-7","type":"journal-article","created":{"date-parts":[[2020,11,20]],"date-time":"2020-11-20T05:34:59Z","timestamp":1605850499000},"page":"631-641","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":9,"title":["A Mechanical Geometer"],"prefix":"10.1007","volume":"15","author":[{"given":"Francisco","family":"Botana","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zolt\u00e1n","family":"Kov\u00e1cs","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tom\u00e1s","family":"Recio","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2020,11,20]]},"reference":[{"key":"497_CR1","doi-asserted-by":"publisher","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, 203\u2013236 (2009)","journal-title":"J. Autom. Reason."},{"key":"497_CR2","doi-asserted-by":"crossref","unstructured":"Pech, P.: Selected Topics in Geometry with Classical Vs. World Scientific. Computer Proving (2007)","DOI":"10.1142\/6556"},{"key":"497_CR3","unstructured":"Botana, F., Kov\u00e1cs, Z., Recio, T.: Automated geometer, a web-based discovery tool. In: Hongbo Li (ed.), Proceedings of the 12th International Conference on Automated Deduction in Geometry (ADG) (2018) 7\u201313. Available at http:\/\/adg2018.cc4cm.org\/ADG2018Proceedings"},{"key":"497_CR4","first-page":"215","volume":"11110","author":"F Botana","year":"2018","unstructured":"Botana, F., Kov\u00e1cs, Z., Recio, T.: Towards an Automated Geometer. Lect. Notes Artif. Intell. 11110, 215\u2013220 (2018)","journal-title":"Lect. Notes Artif. Intell."},{"key":"497_CR5","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1090\/conm\/029\/15","volume":"29","author":"DB Lenat","year":"1984","unstructured":"Lenat, D.B.: Automated theory formation in mathematics. Contemp. Math. 29, 287\u2013314 (1984)","journal-title":"Contemp. Math."},{"key":"497_CR6","unstructured":"Zeilberger, D.: Plane Geometry: an elementary textbook by Shalosh B. Ekhad XIV (Circa 20150), downloaded from the future by Doron Zeilberger. http:\/\/sites.math.rutgers.edu\/~zeilberg\/PG\/gt.html accessed 15\/10\/2018"},{"key":"497_CR7","unstructured":"de Guzm\u00e1n, M.: La experiencia de descubrir en geometr\u00eda. Nivola (2002)"},{"key":"497_CR8","first-page":"415","volume":"689","author":"R Bagai","year":"1993","unstructured":"Bagai, R., Shanbhogue, V., Zytkow, J.M., Chou, S.C.: Automatic theorem generation in plane geometry. Lect. Notes Artif. Intell. 689, 415\u2013424 (1993)","journal-title":"Lect. Notes Artif. Intell."},{"key":"497_CR9","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1023\/A:1006171315513","volume":"25","author":"SC Chou","year":"2000","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, 219\u2013246 (2000)","journal-title":"J. Autom. Reason."},{"key":"497_CR10","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, 333\u2013358 (2015)","journal-title":"Ann. Math. Artif. Intell."},{"key":"497_CR11","doi-asserted-by":"publisher","first-page":"934","DOI":"10.1007\/s10618-017-0494-1","volume":"31","author":"D Song","year":"2017","unstructured":"Song, D., Wang, D., Chen, X.: Retrieving geometric information from images: the case of hand-drawn diagrams. Data Min. Knowl. Disc. 31, 934 (2017). https:\/\/doi.org\/10.1007\/s10618-017-0494-1","journal-title":"Data Min. Knowl. Disc."},{"key":"497_CR12","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1007\/s10817-015-9326-4","volume":"55","author":"F Botana","year":"2015","unstructured":"Botana, F., Hohenwarter, M., Jani\u010di\u0107, P., Kov\u00e1cs, Z., Petrovi\u0107, I., Recio, T., Weitzhofer, S.: Automated theorem proving in GeoGebra: current achievements. J. Autom. Reason. 55, 39\u201359 (2015)","journal-title":"J. Autom. Reason."},{"key":"497_CR13","doi-asserted-by":"publisher","first-page":"451","DOI":"10.1007\/s13163-018-0286-1","volume":"32","author":"Z Kov\u00e1cs","year":"2019","unstructured":"Kov\u00e1cs, Z., Recio, T., V\u00e9lez, M.P.: Detecting truth, just on parts. Revista Matem\u00e1tica Complutense 32, 451\u2013474 (2019)","journal-title":"Revista Matem\u00e1tica Complutense"},{"key":"497_CR14","unstructured":"Magajna, Z.: OK Geometry. http:\/\/z-maga.si\/index?action=article&id=40. Accessed 5 Mar 2018"},{"key":"497_CR15","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1023\/A:1006135322108","volume":"23","author":"T Recio","year":"1999","unstructured":"Recio, T., V\u00e9lez, M.P.: Automatic discovery of theorems in elementary geometry. J. Autom. Reas. 23, 63\u201382 (1999)","journal-title":"J. Autom. Reas."},{"key":"497_CR16","unstructured":"The GeoGebra Team: Reference: GeoGebra Apps API. https:\/\/wiki.geogebra.org\/en\/Reference:GeoGebra_Apps_API. Accessed 5 Oct 2018"},{"key":"497_CR17","doi-asserted-by":"publisher","first-page":"126","DOI":"10.1007\/978-3-319-15081-9_7","volume":"8942","author":"Z Kov\u00e1cs","year":"2015","unstructured":"Kov\u00e1cs, Z., Parisse, B.: Giac and GeoGebra - Improved Gr\u00f6bner basis computations. Lect. Notes Comput. Sci. 8942, 126\u2013138 (2015)","journal-title":"Lect. Notes Comput. Sci."},{"key":"497_CR18","unstructured":"Bright, P.: The Web is getting its bytecode: WebAssembly. Cond\u00e9 Nast (2015)"},{"key":"497_CR19","unstructured":"Brianchon, C. J., Poncelet J.-V.: Recherche sur la d\u00e9termination d\u2019une hyperbole \u00e9quilat\u00e8re au moyen de quatre conditions donn\u00e9es, Annales de Gergonne 11 (1820-1821) 205-220. http:\/\/www.numdam.org\/article\/AMPA_1820-1821__11__205_0.pdf. Accessed 10 Sept 2018"},{"key":"497_CR20","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1016\/j.tcs.2014.06.028","volume":"554","author":"H Gao","year":"2014","unstructured":"Gao, H., Goto, Y., Cheng, J.: A systematic methodology for automated theorem finding. Theoret. Comput. Sci. 554, 2\u201321 (2014)","journal-title":"Theoret. Comput. Sci."},{"key":"497_CR21","doi-asserted-by":"crossref","unstructured":"Gao, H., Li, J., Cheng, J.: Measuring interestingness of theorems in automated theorem finding by forward reasoning based on strong relevant logic. In: Proceedings 2019 IEEE International Conference on Energy Internet (ICEI), Nanjing, China, 2019, pp. 356\u2013361","DOI":"10.1109\/ICEI.2019.00069"},{"key":"497_CR22","doi-asserted-by":"crossref","unstructured":"Gao, H., Goto, Y., Cheng, J.: A set of metrics for measuring interestingness of theorems in automated theorem finding by forward reasoning: A case study in NBG set theory. Proceedings of the International Conference on Intelligence Science and Big Data Engineering (2015). Part II. Lecture Notes in Computer Science 9243 (2015) 508\u2013517","DOI":"10.1007\/978-3-319-23862-3_50"},{"key":"497_CR23","first-page":"347","volume-title":"Augmented Reality in Educational Settings","author":"F Botana","year":"2020","unstructured":"Botana, F., Kov\u00e1cs, Z., Mart\u00ednez-Sevilla, A., Recio, T.: Automatically augmented reality with GeoGebra. In: Promodrou, T. (ed.) Augmented Reality in Educational Settings, pp. 347\u2013368. Brill Sense, Leiden (2020)"},{"key":"497_CR24","first-page":"237","volume":"11110","author":"W Su","year":"2018","unstructured":"Su, W., Cai, C., Wu, J.: The accessibility of mathematical formulas for the visually impaired in China. Lect. Notes Artif. Intell. 11110, 237\u2013242 (2018)","journal-title":"Lect. Notes Artif. Intell."},{"key":"497_CR25","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1145\/3015306.3015309","volume":"50","author":"M Ab\u00e1nades","year":"2016","unstructured":"Ab\u00e1nades, M., Botana, F., Kov\u00e1cs, Z., Recio, T., S\u00f3lyom-Gecse, C.: Development of automatic reasoning tools in GeoGebra. ACM Commun. Comput. Algebra 50, 85\u201388 (2016)","journal-title":"ACM Commun. Comput. Algebra"}],"container-title":["Mathematics in Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11786-020-00497-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11786-020-00497-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11786-020-00497-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,9]],"date-time":"2021-10-09T04:12:32Z","timestamp":1633752752000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11786-020-00497-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,11,20]]},"references-count":25,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2021,12]]}},"alternative-id":["497"],"URL":"https:\/\/doi.org\/10.1007\/s11786-020-00497-7","relation":{},"ISSN":["1661-8270","1661-8289"],"issn-type":[{"value":"1661-8270","type":"print"},{"value":"1661-8289","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020,11,20]]},"assertion":[{"value":"21 March 2020","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"19 August 2020","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"29 September 2020","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"20 November 2020","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}