{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T07:44:43Z","timestamp":1740123883971,"version":"3.37.3"},"reference-count":17,"publisher":"Springer Science and Business Media LLC","issue":"2-4","license":[{"start":{"date-parts":[[2018,6,4]],"date-time":"2018-06-04T00:00:00Z","timestamp":1528070400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100003329","name":"Ministerio de Econom\u00eda y Competitividad","doi-asserted-by":"publisher","award":["MTM2017-88796-P"],"award-info":[{"award-number":["MTM2017-88796-P"]}],"id":[{"id":"10.13039\/501100003329","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100003329","name":"Ministerio de Econom\u00eda y Competitividad","doi-asserted-by":"publisher","award":["MTM2017-88796-P"],"award-info":[{"award-number":["MTM2017-88796-P"]}],"id":[{"id":"10.13039\/501100003329","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100003329","name":"Ministerio de Econom\u00eda y Competitividad","doi-asserted-by":"publisher","award":["MTM2014-54141-P"],"award-info":[{"award-number":["MTM2014-54141-P"]}],"id":[{"id":"10.13039\/501100003329","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Ann Math Artif Intell"],"published-print":{"date-parts":[[2019,4]]},"DOI":"10.1007\/s10472-018-9590-1","type":"journal-article","created":{"date-parts":[[2018,6,4]],"date-time":"2018-06-04T01:32:42Z","timestamp":1528075962000},"page":"73-87","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":10,"title":["Rewriting input expressions in complex algebraic geometry provers"],"prefix":"10.1007","volume":"85","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-2512-5793","authenticated-orcid":false,"given":"Z.","family":"Kov\u00e1cs","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"T.","family":"Recio","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"C.","family":"S\u00f3lyom-Gecse","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,6,4]]},"reference":[{"key":"9590_CR1","unstructured":"Bogomolny, A.: Viviani\u2019s 3D analogue from interactive mathematics miscellany and puzzles. Downloaded from. \n                    http:\/\/www.cut-the-knot.org\/triangle\/VivianiTetrahedron.shtml\n                    \n                  , accessed in April 2016"},{"issue":"1","key":"9590_CR2","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(1), 39\u201359 (2015)","journal-title":"J. Autom. Reason."},{"key":"9590_CR3","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-009-4037-6","volume-title":"Mechanical Geometry Theorem Proving","author":"S-C Chou","year":"1987","unstructured":"Chou, S.-C.: Mechanical Geometry Theorem Proving. Springer Science + Business Media, Berlin (1987)"},{"key":"9590_CR4","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-35651-8","volume-title":"Ideals varieties and algorithms","author":"D Cox","year":"2007","unstructured":"Cox, D., Little, J., O\u2019Shea, D.: Ideals varieties and algorithms. Springer, New York (2007)"},{"key":"9590_CR5","unstructured":"Decker, W., Greuel, G.-M., Pfister, G., Sch\u00f6nemann, H.: Singular 4-0-2 \u2014 A computer algebra system for polynomial computations. \n                    http:\/\/www.singular.uni-kl.de\n                    \n                  (2015)"},{"issue":"3","key":"9590_CR6","doi-asserted-by":"publisher","first-page":"357","DOI":"10.1023\/A:1006031329384","volume":"21","author":"A Dolzmann","year":"1998","unstructured":"Dolzmann, A., Sturm, T., Weispfenning, V.: A new approach for automatic theorem proving in real geometry. J. Autom. Reason. 21(3), 357\u2013380 (1998)","journal-title":"J. Autom. Reason."},{"key":"9590_CR7","unstructured":"Gao, X.-S.: Automated geometry diagram construction and engineering geometry. In: Automated deduction in geometry. ADG 1998. Lecture Notes in Computer Science, 1669. Springer, Berlin (1999)"},{"key":"9590_CR8","unstructured":"Hoyles, C., Jones, K.: Proof in dynamic geometry contexts. In: Mammana, C., Villani, V. (eds.) Perspectives on the teaching of geometry for the 21st century, pp 121\u2013128. Kluwer, Dordrecht (1998)"},{"issue":"4","key":"9590_CR9","doi-asserted-by":"publisher","first-page":"399","DOI":"10.1016\/S0747-7171(86)80007-4","volume":"2","author":"D Kapur","year":"1986","unstructured":"Kapur, D.: Using Gro\u0307bner bases to reason about geometry problems. J. Symb. Comput. 2(4), 399\u2013408 (1986)","journal-title":"J. Symb. Comput."},{"key":"9590_CR10","unstructured":"Kov\u00e1cs, Z., S\u00f3lyom-Gecse, C.: GeoGebra tools with proof capabilities. arXiv:\n                    1603.01228\n                    \n                   (2016)"},{"key":"9590_CR11","unstructured":"Parisse, B.: About Giac\u2019s Gr\u00f6bner basis and ideal elimination computation. Presentation at the conference on Applications of Computer Algebra, Kassel. \n                    http:\/\/test.geogebra.org\/kovzol\/guests\/BernardParisse\/aca16-parisse.pdf\n                    \n                   (2016)"},{"key":"9590_CR12","unstructured":"Petrovi\u0107, I., Jani\u010di\u0107, P.: Integration of OpenGeoProver with GeoGebra. \n                    http:\/\/argo.matf.bg.ac.rs\/events\/2012\/fatpa2012\/slides\/IvanPetrovic.pdf\n                    \n                   (2012)"},{"key":"9590_CR13","volume-title":"C\u00e1lculo simb\u00f3lico y geom\u00e9trico","author":"TJ Recio Mu\u00f1iz","year":"1998","unstructured":"Recio Mu\u00f1iz, T. J.: C\u00e1lculo simb\u00f3lico y geom\u00e9trico. Editorial S\u00edntesis, Madrid (1998)"},{"key":"9590_CR14","doi-asserted-by":"crossref","unstructured":"Recio, T.T., Botana, F.: Where the truth lies (in automatic theorem proving in elementary geometry). In: Lagan\u00e0, A., Gavrilova, M.L., Kumar, V., Mun, Y., Tan, C.J.K., Gervasi, O. (eds.) Computational science and its applications ICCSA 2004. Lecture Notes in Computer Science 3044. Springer, Berlin (2004)","DOI":"10.1007\/978-3-540-24709-8_80"},{"key":"9590_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. Reason. 23, 63\u201382 (1999)","journal-title":"J. Autom. Reason."},{"key":"9590_CR16","first-page":"159","volume":"21","author":"W-T Wu","year":"1978","unstructured":"Wu, W.-T.: On the decision problem and the mechanization of theorem-proving in elementary geometry. Sci. Sinica 21, 159\u2013172 (1978)","journal-title":"Sci. Sinica"},{"key":"9590_CR17","doi-asserted-by":"crossref","unstructured":"Ye, Z., Chou, S.-C., Gao, X.-S.: An introduction to java geometry expert. In: Automated deduction in geometry, pp. 189\u2013195. Springer Science + Business Media (2011)","DOI":"10.1007\/978-3-642-21046-4_10"}],"container-title":["Annals of Mathematics and Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10472-018-9590-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10472-018-9590-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10472-018-9590-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,3]],"date-time":"2019-06-03T19:20:09Z","timestamp":1559589609000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10472-018-9590-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,6,4]]},"references-count":17,"journal-issue":{"issue":"2-4","published-print":{"date-parts":[[2019,4]]}},"alternative-id":["9590"],"URL":"https:\/\/doi.org\/10.1007\/s10472-018-9590-1","relation":{},"ISSN":["1012-2443","1573-7470"],"issn-type":[{"type":"print","value":"1012-2443"},{"type":"electronic","value":"1573-7470"}],"subject":[],"published":{"date-parts":[[2018,6,4]]},"assertion":[{"value":"4 June 2018","order":1,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}