{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,3]],"date-time":"2026-01-03T14:50:44Z","timestamp":1767451844100,"version":"3.41.0"},"reference-count":22,"publisher":"Association for Computing Machinery (ACM)","issue":"2","license":[{"start":{"date-parts":[[2024,6,1]],"date-time":"2024-06-01T00:00:00Z","timestamp":1717200000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Commun. Comput. Algebra"],"published-print":{"date-parts":[[2024,6]]},"abstract":"<jats:p>\n            We present a new\n            <jats:italic>GeoGebra Discovery<\/jats:italic>\n            command,\n            <jats:bold>ShowProof<\/jats:bold>\n            , which provides a certified step-by-step algebraic proof and complexity grade of planar geometry theorems. The output is available in multiple languages and can be exported as plain text to Mathematica or Maple format for further analysis.\n          <\/jats:p>","DOI":"10.1145\/3712023.3712026","type":"journal-article","created":{"date-parts":[[2025,1,10]],"date-time":"2025-01-10T16:56:37Z","timestamp":1736528197000},"page":"27-30","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["The ShowProof Command in\n            <i>GeoGebra Discovery<\/i>\n            : Towards the Automated Ranking of Elementary Geometry Theorems"],"prefix":"10.1145","volume":"58","author":[{"given":"Zolt\u00e1n","family":"Kov\u00e1cs","sequence":"first","affiliation":[{"name":"PHDL, Linz, Austria"}]},{"given":"Bernard","family":"Parisse","sequence":"additional","affiliation":[{"name":"Institut Fourier, Univ. Grenoble Alpes, Gi\u00e8res, France"}]},{"given":"Tom\u00e1s","family":"Recio","sequence":"additional","affiliation":[{"name":"Univ. Antonio de Nebrija, Madrid, Spain"}]},{"given":"M. Pilar","family":"V\u00e9lez","sequence":"additional","affiliation":[{"name":"Univ. Antonio de Nebrija, Madrid, Spain"}]},{"given":"Jonathan H.","family":"Yu","sequence":"additional","affiliation":[{"name":"Gilman School, Baltimore, Maryland, USA"}]}],"member":"320","published-online":{"date-parts":[[2025,1,10]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/3015306.3015309"},{"key":"e_1_2_1_2_1","first-page":"266","volume-title":"Scott, P., Morales, Y., and Ru\u00edz, \u00c1.","author":"Abar C.A.A.P.","year":"2023","unstructured":"Abar, C.A.A.P.; In\u00e1cio de Sousa, D.M. and Russo, A. M.: Perspectivas de explora\u00e7\u00e3o de propriedades da Geometria Plana em Constru\u00e7\u00f5es no GeoGebra Discovery. In Scott, P., Morales, Y., and Ru\u00edz, \u00c1., editors, Comit\u00e9 Interamericano de Educaci\u00f3n Matem\u00e1tica (2023). Educaci\u00f3n Matem\u00e1tica en las Am\u00e9ricas 2023. Uso de Tecnolog\u00edas Digitales, pages 266--273. Rep\u00fablica Dominicana, 2023."},{"issue":"2","key":"e_1_2_1_3_1","doi-asserted-by":"crossref","first-page":"5","DOI":"10.23925\/2237-9657.2022.v11i2p005-016","article-title":"GeoGebra Discovery at EGMO 2022","volume":"11","author":"Ari\u00f1o-Morera M. B.","year":"2022","unstructured":"Ari\u00f1o-Morera, M. B.: GeoGebra Discovery at EGMO 2022. Revista Do Instituto GeoGebra Internacional De S\u00e3o Paulo, 11(2), 5--16, 2022.","journal-title":"Revista Do Instituto GeoGebra Internacional De S\u00e3o Paulo"},{"key":"e_1_2_1_4_1","first-page":"101","volume-title":"Proceedings 14th International Conference on Automated Deduction in Geometry","author":"Ari\u00f1o-Morera M. B.","year":"2023","unstructured":"Ari\u00f1o-Morera, M. B.; Kov\u00e1cs, Z.; Recio, T., and Tolmos, P.: Solving with GeoGebra Discovery an Austrian Mathematics Olympiad problem: Lessons Learned. In Quaresma, P. and Kov\u00e1cs, Z., editors, Proceedings 14th International Conference on Automated Deduction in Geometry, Belgrade, Serbia, 20--22th September 2023, EPTCS 398, pages 101--109, Open Publishing Association, 2024."},{"key":"e_1_2_1_5_1","volume-title":"Geometric Loci and ChatGPT: Caveat Emptor! Computation, 12(2), 30","author":"Botana F.","year":"2024","unstructured":"Botana, F. and Recio, T.: Geometric Loci and ChatGPT: Caveat Emptor! Computation, 12(2), 30, 2024."},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2018.04.007"},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/3614408.3614413"},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1006\/ijhc.2000.0394"},{"key":"e_1_2_1_9_1","volume-title":"Proceedings of the International Conference on Intelligence Science and Big Data Engineering (2015","author":"Gao H.","year":"2015","unstructured":"Gao, H.; Goto, Y. and 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. Proceedings of the International Conference on Intelligence Science and Big Data Engineering (2015). Part II. LNCS 9243, pages 508--517, 2015."},{"key":"e_1_2_1_10_1","first-page":"356","volume-title":"2019 IEEE International Conference on Energy Internet","author":"Gao H.","year":"2019","unstructured":"Gao, H.; Li, J. and Cheng J.: Measuring Interestingness of Theorems in Automated Theorem Finding by Forward Reasoning Based on Strong Relevant Logic. In 2019 IEEE International Conference on Energy Internet, pages 356--361, 2019."},{"key":"e_1_2_1_11_1","volume-title":"A Singular introduction to commutative algebra","author":"Greuel G-M","year":"2008","unstructured":"Greuel, G-M. and Pfister, G.: A Singular introduction to commutative algebra. Springer Berlin, Heidelberg. Second Edition, 2008."},{"issue":"3","key":"e_1_2_1_12_1","first-page":"42","article-title":"Opening a discussion on teaching proof with automated theorem provers","volume":"41","author":"Hanna G.","year":"2021","unstructured":"Hanna, G. and Yan, X.: Opening a discussion on teaching proof with automated theorem provers. For the Learning of Mathematics, 41(3), 42--46, 2021.","journal-title":"For the Learning of Mathematics"},{"key":"e_1_2_1_13_1","volume-title":": Um estudo sobre as potencialidades da utiliza\u00e7\u00e3o do GeoGebra Discovery no contexto da Geometria Plana. Educa\u00e7\u00e3o Matem\u00e1tica em Revista, 28(80):1--15","author":"In\u00e1cio de Sousa D.M.","year":"2023","unstructured":"In\u00e1cio de Sousa, D.M. and Abar, C.A.A.P.: Um estudo sobre as potencialidades da utiliza\u00e7\u00e3o do GeoGebra Discovery no contexto da Geometria Plana. Educa\u00e7\u00e3o Matem\u00e1tica em Revista, 28(80):1--15, 2023."},{"key":"e_1_2_1_14_1","doi-asserted-by":"crossref","first-page":"126","DOI":"10.1007\/978-3-319-15081-9_7","volume-title":"Computer Algebra and Polynomials","author":"Kov\u00e1cs Z.","year":"2015","unstructured":"Kov\u00e1cs, Z. and Parisse, B.: Giac and GeoGebra - improved Gr\u00f6bner basis computations. In Gutierrez, J., Schicho, J. and Weimann, M., editors, Computer Algebra and Polynomials, pages 126--138, 2015."},{"issue":"2","key":"e_1_2_1_15_1","doi-asserted-by":"crossref","first-page":"451","DOI":"10.1007\/s13163-018-0286-1","article-title":"Detecting truth, just on parts","volume":"32","author":"Kov\u00e1cs Z.","year":"2019","unstructured":"Kov\u00e1cs, Z.; Recio, T. and V\u00e9lez, M.P.: Detecting truth, just on parts. Revista Matem\u00e1tica Complutense, 32(2), 451--474, 2019.","journal-title":"Revista Matem\u00e1tica Complutense"},{"issue":"10","key":"e_1_2_1_16_1","doi-asserted-by":"crossref","first-page":"22593","DOI":"10.3934\/math.20231151","article-title":"The \"never-proved\" triangle inequality: A GeoGebra and CAS approach","volume":"8","author":"Kov\u00e1cs Z.","year":"2023","unstructured":"Kov\u00e1cs, Z.; Recio, T.; Ueno, C. and Vajda, R.: The \"never-proved\" triangle inequality: A GeoGebra and CAS approach. AIMS Mathematics, 8(10): 22593--22642, 2023.","journal-title":"AIMS Mathematics"},{"key":"e_1_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/3493492.3493495"},{"key":"e_1_2_1_18_1","first-page":"23","volume-title":"Automated reasoning tools with GeoGebra: What are they? What are they good for? In Richard","author":"Kov\u00e1cs Z.","year":"2022","unstructured":"Kov\u00e1cs, Z.; Recio, T. and 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 Vaerenbergh, S., editors, Mathematics Education in the Age of Artificial Intelligence: How Artificial Intelligence can serve mathematical human learning. Mathematics Education in the Digital Era 17, pages 23--44. Springer Cham, 2022."},{"key":"e_1_2_1_19_1","first-page":"49","volume-title":"Proceedings of the 19th International FLAIRS Conference","author":"Puzis Y.","year":"2006","unstructured":"Puzis, Y.; Gao, Y. and Sutcliffe, G.: Automated generation of interesting theorems. In Sutcliffe, G. and Goebel, R., editors, Proceedings of the 19th International FLAIRS Conference, pages 49--54, AAAI Press, Menlo Park, 2006."},{"key":"e_1_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2018.12.004"},{"issue":"2","key":"e_1_2_1_21_1","first-page":"89","volume":"26","author":"Santos V.","year":"2019","unstructured":"Santos, V.; Baeta, N. and Quaresma, P.: Geometrography in Dynamic Geometry. The International Journal for Technology in Mathematics Education, 26(2), 89--96, 2019.","journal-title":"Geometrography in Dynamic Geometry. The International Journal for Technology in Mathematics Education"},{"key":"e_1_2_1_22_1","first-page":"157","volume-title":"Conference Pre-Proceedings","author":"Silva J. C.","year":"2024","unstructured":"Silva, J. C.: Geometry teaching from Babylon to the computer era. In Lowrie, T., Guti\u00e9rrez, A., Emprin, F., editors, The 26th ICMI Study. Advances in Geometry Education. Reims (France), 23--26 April 2024. Conference Pre-Proceedings, pages 157--165, IREM de REIMS, 2024."}],"container-title":["ACM Communications in Computer Algebra"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3712023.3712026","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3712023.3712026","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T01:18:10Z","timestamp":1750295890000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3712023.3712026"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,6]]},"references-count":22,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2024,6]]}},"alternative-id":["10.1145\/3712023.3712026"],"URL":"https:\/\/doi.org\/10.1145\/3712023.3712026","relation":{},"ISSN":["1932-2232","1932-2240"],"issn-type":[{"type":"print","value":"1932-2232"},{"type":"electronic","value":"1932-2240"}],"subject":[],"published":{"date-parts":[[2024,6]]},"assertion":[{"value":"2025-01-10","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}