{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,10]],"date-time":"2024-09-10T17:14:36Z","timestamp":1725988476929},"publisher-location":"Cham","reference-count":14,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319999562"},{"type":"electronic","value":"9783319999579"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/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-99957-9_15","type":"book-chapter","created":{"date-parts":[[2018,8,21]],"date-time":"2018-08-21T08:26:31Z","timestamp":1534839991000},"page":"215-220","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Towards an Automated Geometer"],"prefix":"10.1007","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":[[2018,8,22]]},"reference":[{"key":"15_CR1","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."},{"unstructured":"de Guzm\u00e1n, M.: La experiencia de descubrir en geometr\u00eda. Nivola (2002)","key":"15_CR2"},{"key":"15_CR3","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"415","DOI":"10.1007\/3-540-56804-2_39","volume-title":"Methodologies for Intelligent Systems","author":"R Bagai","year":"1993","unstructured":"Bagai, R., Shanbhogue, V., \u017bytkow, J.M., Chou, S.C.: Automatic theorem generation in plane geometry. In: Komorowski, J., Ra\u015b, Z.W. (eds.) ISMIS 1993. LNCS, vol. 689, pp. 415\u2013424. Springer, Heidelberg (1993). \nhttps:\/\/doi.org\/10.1007\/3-540-56804-2_39"},{"key":"15_CR4","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":"15_CR5","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":"15_CR6","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., Janicic, P., Kov\u00e1cs, Z., Petrovic, I., Recio, T., Weitzhofer, S.: Automated theorem proving in GeoGebra: current achievements. J. Autom. Reason. 55, 39\u201359 (2015)","journal-title":"J. Autom. Reason."},{"unstructured":"Magajna, Z.: OK Geometry. \nhttp:\/\/z-maga.si\/index?action=article&id=40\n\n. Accessed 3 May 2018","key":"15_CR7"},{"unstructured":"The GeoGebra Team: Reference: GeoGebra Apps API. \nhttps:\/\/wiki.geogebra.org\/en\/Reference:GeoGebra_Apps_API\n\n. Accessed 10 May 2018","key":"15_CR8"},{"key":"15_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"126","DOI":"10.1007\/978-3-319-15081-9_7","volume-title":"Computer Algebra and Polynomials","author":"Z Kov\u00e1cs","year":"2015","unstructured":"Kov\u00e1cs, Z., Parisse, B.: Giac and GeoGebra - improved Gr\u00f6bner basis computations. In: Gutierrez, J., Schicho, J., Weimann, M. (eds.) Computer Algebra and Polynomials. LNCS, vol. 8942, pp. 126\u2013138. Springer, Cham (2015). \nhttps:\/\/doi.org\/10.1007\/978-3-319-15081-9_7"},{"unstructured":"Bright, P.: The web is getting its bytecode: WebAssembly. Cond\u00e9 Nast (2015)","key":"15_CR10"},{"key":"15_CR11","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. Reason. 23, 63\u201382 (1999)","journal-title":"J. Autom. Reason."},{"key":"15_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"508","DOI":"10.1007\/978-3-319-23862-3_50","volume-title":"Intelligence Science and Big Data Engineering. Big Data and Machine Learning Techniques","author":"H Gao","year":"2015","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. In: He, X. (ed.) IScIDE 2015. LNCS, vol. 9243, pp. 508\u2013517. Springer, Cham (2015). \nhttps:\/\/doi.org\/10.1007\/978-3-319-23862-3_50"},{"unstructured":"Botana, F., Kov\u00e1cs, Z., Mart\u00ednez-Sevilla, A., Recio, T.: Automatically augmented reality with GeoGebra (to appear)","key":"15_CR13"},{"key":"15_CR14","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. Algebr. 50, 85\u201388 (2016)","journal-title":"ACM Commun. Comput. Algebr."}],"container-title":["Lecture Notes in Computer Science","Artificial Intelligence and Symbolic Computation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-99957-9_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,8,21]],"date-time":"2018-08-21T08:40:57Z","timestamp":1534840857000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-99957-9_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319999562","9783319999579"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-99957-9_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]}}}