{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,19]],"date-time":"2025-12-19T08:54:20Z","timestamp":1766134460397,"version":"3.48.0"},"reference-count":25,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2025,10,13]],"date-time":"2025-10-13T00:00:00Z","timestamp":1760313600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,10,13]],"date-time":"2025-10-13T00:00:00Z","timestamp":1760313600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Autom Reasoning"],"published-print":{"date-parts":[[2025,12]]},"DOI":"10.1007\/s10817-025-09740-x","type":"journal-article","created":{"date-parts":[[2025,10,13]],"date-time":"2025-10-13T04:34:40Z","timestamp":1760330080000},"update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["A simple proof of correctness of folding the regular heptagon"],"prefix":"10.1007","volume":"69","author":[{"given":"Zolt\u00e1n","family":"Kov\u00e1cs","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2025,10,13]]},"reference":[{"issue":"2","key":"9740_CR1","first-page":"366","volume":"1","author":"PL Wantzel","year":"1837","unstructured":"Wantzel, P.L.: Recherches sur les moyens de reconna\u00eetre si un probl\u00e8me de g\u00e9om\u00e9trie peut se r\u00e9soudre avec la r\u00e8gle et le compas. J. de Math\u00e9matiques Pures et Appliqu\u00e9es 1(2), 366\u2013372 (1837)","journal-title":"J. de Math\u00e9matiques Pures et Appliqu\u00e9es"},{"issue":"16","key":"9740_CR2","first-page":"104","volume":"4","author":"MP Beloch","year":"1936","unstructured":"Beloch, M.P.: Sul metodo del ripiegamento della carta per la risoluzione dei problemi geometrici. Periodico di Mathematiche 4(16), 104\u2013108 (1936)","journal-title":"Periodico di Mathematiche"},{"issue":"3","key":"9740_CR3","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1090\/S0002-9904-1895-00317-1","volume":"2","author":"J Pierpont","year":"1895","unstructured":"Pierpont, J.: On an undemonstrated theorem of the disquisitiones arithmetic\u00e6. Bull. Am. Math. Soc. 2(3), 77\u201383 (1895)","journal-title":"Bull. Am. Math. Soc."},{"key":"9740_CR4","first-page":"9","volume":"42","author":"J Justin","year":"1986","unstructured":"Justin, J.: R\u00e9solution par le pliage de l\u2019\u00e9quation du troisi\u00e8me degr\u00e9 et applications g\u00e9om\u00e9triques. L\u2019Ouvert - Journal de l\u2019APMEP d\u2019Alsace et de l\u2019IREM de Strasbourg 42, 9\u201319 (1986)","journal-title":"L\u2019Ouvert - Journal de l\u2019APMEP d\u2019Alsace et de l\u2019IREM de Strasbourg"},{"issue":"2","key":"9740_CR5","first-page":"81","volume":"23","author":"R Geretschl\u00e4ger","year":"1997","unstructured":"Geretschl\u00e4ger, R.: Folding the regular heptagon. Crux Mathematicorum 23(2), 81\u201388 (1997)","journal-title":"Crux Mathematicorum"},{"key":"9740_CR6","first-page":"71","volume-title":"Draw of a Regular Heptagon by the Folding","author":"B Scimemi","year":"1989","unstructured":"Scimemi, B.: Draw of a Regular Heptagon by the Folding, pp. 71\u201377. Ferrara, Italy (1989)"},{"key":"9740_CR7","doi-asserted-by":"publisher","unstructured":"Robu, J., Ida, T., \u0162epeneu, D., Takahashi, H., Buchberger, B.: Computational origami construction of a regular heptagon with automated proof of its correctness, pp. 19\u201333 (2006). https:\/\/doi.org\/10.1007\/11615798_2","DOI":"10.1007\/11615798_2"},{"key":"9740_CR8","doi-asserted-by":"publisher","unstructured":"Ghourabi, F., Ida, T., Takahashi, K.: Logical and algebraic views of a knot fold of a regular heptagon, vol. 15 (2013). https:\/\/doi.org\/10.29007\/v8hh","DOI":"10.29007\/v8hh"},{"key":"9740_CR9","unstructured":"Kronk, H.: Despite clearing 100 million users, GeoGebra remains true to its founder\u2019s vision. E-learning inside. https:\/\/news.elearninginside.com\/despite-clearing-100-million-users-geogebra-remains-true-to-its-founders-vision\/ (2018)"},{"issue":"1","key":"9740_CR10","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). https:\/\/doi.org\/10.1007\/s10817-015-9326-4","journal-title":"J. Autom. Reason."},{"key":"9740_CR11","unstructured":"Kov\u00e1cs, Z., Recio, T., Richard, P.R., V\u00e9lez, M.P.: GeoGebra automated reasoning tools: A tutorial with examples. In: Aldon, G., Trgalova, J. (eds.) Proceedings of the 13th International Conference on Technology in Mathematics Teaching (2017). https:\/\/hal.archives-ouvertes.fr\/hal-01632970"},{"issue":"1","key":"9740_CR12","first-page":"48","volume":"25","author":"Z Kov\u00e1cs","year":"2017","unstructured":"Kov\u00e1cs, Z.: Automated reasoning tools in geogebra: a new approach for experiments in planar geometry. South Bohemia Mathematical Letters 25(1), 48\u201365 (2017)","journal-title":"South Bohemia Mathematical Letters"},{"issue":"2","key":"9740_CR13","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1564\/tme_v25.2.03","volume":"25","author":"Z Kov\u00e1cs","year":"2018","unstructured":"Kov\u00e1cs, Z., Recio, T., V\u00e9lez, M.P.: Using automated reasoning tools in geogebra in the teaching and learning of proving in geometry. Int. J. Technol. Math. Educ. 25(2), 33\u201350 (2018). https:\/\/doi.org\/10.1564\/tme_v25.2.03","journal-title":"Int. J. Technol. Math. Educ."},{"issue":"2","key":"9740_CR14","first-page":"1","volume":"2","author":"B Hauer","year":"2018","unstructured":"Hauer, B., Kov\u00e1cs, Z., Recio, T., V\u00e9lez, M.P.: Automated reasoning in elementary geometry: towards inquiry learning. Pedagogical Horizons 2(2), 1\u201313 (2018)","journal-title":"Pedagogical Horizons"},{"key":"9740_CR15","doi-asserted-by":"publisher","first-page":"16","DOI":"10.1016\/j.jsc.2018.12.003","volume":"97","author":"Z Kov\u00e1cs","year":"2020","unstructured":"Kov\u00e1cs, Z., Recio, T., V\u00e9lez, M.P.: Reasoning about linkages with dynamic geometry. J. Symb. Comput. 97, 16\u201330 (2020). https:\/\/doi.org\/10.1016\/j.jsc.2018.12.003","journal-title":"J. Symb. Comput."},{"key":"9740_CR16","doi-asserted-by":"publisher","unstructured":"Hohenwarter, M., Kov\u00e1cs, Z., Recio, T.: Using automated reasoning tools to explore geometric statements and conjectures. In: Hanna, G., Reid, D.A., Villiers, M. (eds.) Proof Technology in Mathematics Research and Teaching, pp. 215\u2013236. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-28483-1_10","DOI":"10.1007\/978-3-030-28483-1_10"},{"key":"9740_CR17","unstructured":"Kov\u00e1cs, Z., Recio, T.: GeoGebra reasoning tools for humans and for automatons. Electronic Proceedings of the 25th Asian Technology Conference in Mathematics (2020) http:\/\/atcm.mathandtech.org\/EP2020\/index.html"},{"issue":"2","key":"9740_CR18","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1145\/3493492.3493495","volume":"55","author":"Z Kov\u00e1cs","year":"2021","unstructured":"Kov\u00e1cs, Z., Recio, T., V\u00e9lez, M.P.: Automated reasoning tools in geogebra discovery. ACM Commun. Comput. Algebra 55(2), 39\u201343 (2021). https:\/\/doi.org\/10.1145\/3493492.3493495","journal-title":"ACM Commun. Comput. Algebra"},{"key":"9740_CR19","doi-asserted-by":"publisher","unstructured":"Kov\u00e1cs, Z., Recio, T., V\u00e9lez, M.P.: Automated reasoning tools with GeoGebra: What are they? What are they good for? In: Richard, P.R., V\u00e9lez, M.P., Van\u00a0Vaerenbergh, S. (eds.) Mathematics Education in the Age of Artificial Intelligence: How Artificial Intelligence Can Serve Mathematical Human Learning, pp. 23\u201344. Springer, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-030-86909-0_2","DOI":"10.1007\/978-3-030-86909-0_2"},{"key":"9740_CR20","unstructured":"Hartl, A.M.: Computeralgebrasysteme als Werkzeuge im Mathematikunterricht. Master\u2019s thesis, Johannes Kepler University, Linz, Austria (July 2015)"},{"issue":"3","key":"9740_CR21","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1080\/00029890.1988.11971989","volume":"95","author":"AM Gleason","year":"1988","unstructured":"Gleason, A.M.: Angle trisection, the heptagon, and the triskaidecagon. Am. Math. Mon. 95(3), 185\u2013194 (1988)","journal-title":"Am. Math. Mon."},{"issue":"5","key":"9740_CR22","first-page":"471","volume":"100","author":"W Watkins","year":"1993","unstructured":"Watkins, W., Zeitlin, J.: The minimal polynomial of $$\\cos (2\\pi \/n)$$. Am. Math. Mon. 100(5), 471\u2013474 (1993)","journal-title":"Am. Math. Mon."},{"key":"9740_CR23","doi-asserted-by":"publisher","first-page":"727","DOI":"10.1007\/s11786-020-00491-z","volume":"14","author":"Z Kov\u00e1cs","year":"2020","unstructured":"Kov\u00e1cs, Z.: Automated detection of interesting properties in regular polygons. Math. Comput. Sci. 14, 727\u2013755 (2020). https:\/\/doi.org\/10.1007\/s11786-020-00491-z","journal-title":"Math. Comput. Sci."},{"key":"9740_CR24","doi-asserted-by":"publisher","unstructured":"Kov\u00e1cs, Z., Parisse, B.: Giac and GeoGebra \u2013 improved Gr\u00f6bner basis computations. In: Gutierrez, J., Schicho, J., Weimann, M. (eds.) Computer Algebra and Polynomials. Lecture Notes in Computer Science, pp. 126\u2013138. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-15081-9_7","DOI":"10.1007\/978-3-319-15081-9_7"},{"key":"9740_CR25","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."}],"container-title":["Journal of Automated Reasoning"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10817-025-09740-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10817-025-09740-x","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10817-025-09740-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,12,19]],"date-time":"2025-12-19T08:50:23Z","timestamp":1766134223000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10817-025-09740-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,10,13]]},"references-count":25,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2025,12]]}},"alternative-id":["9740"],"URL":"https:\/\/doi.org\/10.1007\/s10817-025-09740-x","relation":{},"ISSN":["0168-7433","1573-0670"],"issn-type":[{"type":"print","value":"0168-7433"},{"type":"electronic","value":"1573-0670"}],"subject":[],"published":{"date-parts":[[2025,10,13]]},"assertion":[{"value":"25 October 2024","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"28 September 2025","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"13 October 2025","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"The authors declare no competing interests.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Competing interests"}}],"article-number":"27"}}