{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,10]],"date-time":"2025-10-10T01:59:27Z","timestamp":1760061567870},"reference-count":6,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2016,3,1]],"date-time":"2016-03-01T00:00:00Z","timestamp":1456790400000},"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":["Math.Comput.Sci."],"published-print":{"date-parts":[[2016,3]]},"DOI":"10.1007\/s11786-016-0246-4","type":"journal-article","created":{"date-parts":[[2016,3,5]],"date-time":"2016-03-05T06:49:29Z","timestamp":1457160569000},"page":"5-25","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["On the Unavoidable Uncertainty of Truth in Dynamic Geometry Proving"],"prefix":"10.1007","volume":"10","author":[{"given":"Francisco","family":"Botana","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tomas","family":"Recio","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,3,5]]},"reference":[{"key":"246_CR1","doi-asserted-by":"crossref","first-page":"359","DOI":"10.1007\/s10472-014-9438-2","volume":"74","author":"F. Botana","year":"2015","unstructured":"Botana F., Kov\u00e1cs Z.: A Singular web service for geometric computations. Ann. Math. Artif. Intell. 74, 359\u2013370 (2015)","journal-title":"Ann. Math. Artif. Intell."},{"key":"246_CR2","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 J., 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":"246_CR3","volume-title":"Mechanical Geometry Theorem Proving","author":"S.C. Chou","year":"1988","unstructured":"Chou S.C.: Mechanical Geometry Theorem Proving. Reidel, Dordrecht (1988)"},{"key":"246_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. Reason. 43, 203\u2013236 (2009)","journal-title":"J. Autom. Reason."},{"key":"246_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. Reason. 23, 63\u201382 (1999)","journal-title":"J. Autom. Reason."},{"key":"246_CR6","doi-asserted-by":"crossref","unstructured":"Recio, T., Sterk, H., V\u00e9lez, M.P.: Project: automatic geometry theorem proving. In: Cohen, A., Cuipers, H., Sterk, H. Some Tapas of Computer Algebra. Algorithms and Computations in Mathematics, vol. 4, pp. 276\u2013296. Springer, Heidelberg (1998)","DOI":"10.1007\/978-3-662-03891-8_12"}],"container-title":["Mathematics in Computer Science"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11786-016-0246-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11786-016-0246-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11786-016-0246-4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T22:35:11Z","timestamp":1559428511000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11786-016-0246-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,3]]},"references-count":6,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2016,3]]}},"alternative-id":["246"],"URL":"https:\/\/doi.org\/10.1007\/s11786-016-0246-4","relation":{},"ISSN":["1661-8270","1661-8289"],"issn-type":[{"value":"1661-8270","type":"print"},{"value":"1661-8289","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,3]]}}}