{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T05:47:44Z","timestamp":1725860864944},"publisher-location":"Cham","reference-count":9,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319424316"},{"type":"electronic","value":"9783319424323"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-42432-3_5","type":"book-chapter","created":{"date-parts":[[2016,7,5]],"date-time":"2016-07-05T11:12:09Z","timestamp":1467717129000},"page":"37-42","source":"Crossref","is-referenced-by-count":3,"title":["Towards the Automatic Discovery of Theorems in GeoGebra"],"prefix":"10.1007","author":[{"given":"Miguel","family":"Ab\u00e1nades","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Francisco","family":"Botana","sequence":"additional","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"}]},{"given":"Csilla","family":"S\u00f3lyom-Gecse","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,7,6]]},"reference":[{"key":"5_CR1","doi-asserted-by":"crossref","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. Reasoning 55, 39\u201359 (2015)","journal-title":"J. Autom. Reasoning"},{"key":"5_CR2","doi-asserted-by":"crossref","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":"5_CR3","volume-title":"Mechanical Geometry Theorem Proving, in Mathematics and its Applications","author":"S-C Chou","year":"1988","unstructured":"Chou, S.-C.: Mechanical Geometry Theorem Proving, in Mathematics and its Applications. D. Reidel Publ. Comp, Dordrecht (1988)"},{"key":"5_CR4","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. Reasoning 43, 203\u2013236 (2009)","journal-title":"J. Autom. Reasoning"},{"key":"5_CR5","doi-asserted-by":"crossref","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. Reasoning 23, 63\u201382 (1999)","journal-title":"J. Autom. Reasoning"},{"key":"5_CR6","series-title":"Texts and Monographs in Symbolic Computation","first-page":"25","volume-title":"Numerical and Symbolic Scientific Computing: Progress and Prospects","author":"T Recio","year":"2011","unstructured":"Recio, T., V\u00e9lez, M.P.: An introduction to automated discovery in geometry through symbolic computation. In: Langer, U., Paule, P. (eds.) Numerical and Symbolic Scientific Computing: Progress and Prospects. Texts and Monographs in Symbolic Computation, pp. 25\u2013271. Springer, Vienna (2011)"},{"key":"5_CR7","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1007\/BF01231031","volume":"36","author":"D Wang","year":"1989","unstructured":"Wang, D.: A new theorem discovered by computer prover. J. Geom. 36, 173\u2013182 (1989)","journal-title":"J. Geom."},{"key":"5_CR8","doi-asserted-by":"crossref","unstructured":"Wang, D.: Gr\u00f6bner bases applied to geometric theorem proving and discovering. In: Buchberger, B., Winkler, F. (eds.) Gr\u00f6bner Bases and Applications. London Mathematical Society Lecture Notes Series, vol. 251, pp. 281\u2013301. Cambridge University Press (1998)","DOI":"10.1017\/CBO9780511565847.016"},{"key":"5_CR9","doi-asserted-by":"crossref","unstructured":"Wen-Ts\u00fcn, W.: On the decision problem and the mechanization of theorem-proving in elementary geometry. In: Bledsoe, W.W., Loveland, D.W. (eds.) Automated Theorem Proving: After 25 years, pp. 213\u2013234. AMS, Providence (1984)","DOI":"10.1090\/conm\/029\/12"}],"container-title":["Lecture Notes in Computer Science","Mathematical Software \u2013 ICMS 2016"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-42432-3_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,10]],"date-time":"2019-09-10T14:46:32Z","timestamp":1568126792000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-42432-3_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319424316","9783319424323"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-42432-3_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}