{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,20]],"date-time":"2026-04-20T17:50:05Z","timestamp":1776707405693,"version":"3.51.2"},"reference-count":12,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2025,7,18]],"date-time":"2025-07-18T00:00:00Z","timestamp":1752796800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2025,7,18]],"date-time":"2025-07-18T00:00:00Z","timestamp":1752796800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100005280","name":"Technical University of Liberec","doi-asserted-by":"crossref","id":[{"id":"10.13039\/501100005280","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Autom Reasoning"],"published-print":{"date-parts":[[2025,9]]},"abstract":"<jats:title>Abstract<\/jats:title>\n          <jats:p>In the article we show what a Dynamic Geometry Environment (<jats:italic>DGE<\/jats:italic>) and Computer Algebra System (<jats:italic>CAS<\/jats:italic>) software is capable of exploring, computing and proving a geometry problem that is closely related to the well-known Wallace-Simson theorem. In our case, this problem turns out to be quite difficult for some software tools incorporated in the DGE software. The computation of a searched locus by the software works well in our case, but the problem must be formulated in a specific way. In addition to the conclusions attained by DGE software, we present computer-aided analytical solutions in the second half of paper. It is shown that the use of non-degeneracy conditions before elimination leads to a significant reduction of the computation time.<\/jats:p>","DOI":"10.1007\/s10817-025-09733-w","type":"journal-article","created":{"date-parts":[[2025,7,18]],"date-time":"2025-07-18T05:36:29Z","timestamp":1752816989000},"update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Solving a problem with GeoGebra current possibilities and limits of CAS tools"],"prefix":"10.1007","volume":"69","author":[{"ORCID":"https:\/\/orcid.org\/0009-0004-1903-5438","authenticated-orcid":false,"given":"Ji\u0159\u00ed","family":"Bla\u017eek","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pavel","family":"Pech","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2025,7,18]]},"reference":[{"key":"9733_CR1","unstructured":"Ab\u00e1nades, M. A., Botana, F., Kov\u00e1cs, Z., Recio, T., S\u00f3lyom-Gecse, C.: Implementing automatic discovery in GeoGebra. Proceedings of ADG 2016, Strasbourg, 2016"},{"key":"9733_CR2","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1564\/tme_v24.3.06","volume":"24","author":"J Bla\u017eek","year":"2017","unstructured":"Bla\u017eek, J., Pech, P.: Searching for loci using GeoGebra. Int. J. Technol. Math. Educ. 24, 143\u2013147 (2017)","journal-title":"Int. J. Technol. Math. Educ."},{"key":"9733_CR3","unstructured":"Capani, A., Niesi, G. and Robbiano, L.: CoCoA, a System for Doing Computations in Commutative Algebra, 1995. http:\/\/cocoa.dima.unige.it"},{"key":"9733_CR4","unstructured":"https:\/\/www.geogebra.org"},{"key":"9733_CR5","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1007\/978-3-030-28483-1_10","volume":"2019","author":"M Hohenwarter","year":"2019","unstructured":"Hohenwarter, M., Kov\u00e1cs, Z., Recio, T.: Using automated reasoning tools to explore geometric statements and conjectures. Proof Technology in Mathematics Research and Teaching 2019, 215\u2013236 (2019). https:\/\/doi.org\/10.1007\/978-3-030-28483-1_10","journal-title":"Proof Technology in Mathematics Research and Teaching"},{"key":"9733_CR6","volume-title":"Advanced Euclidean Geometry","author":"R Johnson","year":"1960","unstructured":"Johnson, R.: Advanced Euclidean Geometry. Dover, New York (1960)"},{"key":"9733_CR7","unstructured":"Kov\u00e1cs, Z.: https:\/\/kovzol.github.io\/geogebra-discovery\/, 2023"},{"key":"9733_CR8","unstructured":"Kov\u00e1cs, Z.: https:\/\/kovzol.github.io\/geogebra-discovery\/#feature-matrix, 2023"},{"key":"9733_CR9","first-page":"33","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. International Journal of Technology in Mathematics Education 25, 33\u201350 (2018)","journal-title":"International Journal of Technology in Mathematics Education"},{"key":"9733_CR10","doi-asserted-by":"crossref","unstructured":"Kov\u00e1cs, Z., Pech, P.: Experiments on Automatic Inclusion of Some Non-degeneracy Conditions Among the Hypotheses in Locus Equation Computations. Lecture Notes in Computer Science 11617, LNAI, 2019, 140-154","DOI":"10.1007\/978-3-030-23250-4_10"},{"key":"9733_CR11","doi-asserted-by":"crossref","unstructured":"Magajna, Z.: https:\/\/www.ok-geometry.com\/, 2023","DOI":"10.4204\/EPTCS.398.3"},{"issue":"3","key":"9733_CR12","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1564\/tme_v24.3.02","volume":"24","author":"Z Magajna","year":"2017","unstructured":"Magajna, Z.: Automated Observation of Dynamic Constructions. Int. J. Technol. Math. Educ. 24(3), 115\u2013120 (2017)","journal-title":"Int. J. Technol. Math. Educ."}],"container-title":["Journal of Automated Reasoning"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10817-025-09733-w.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10817-025-09733-w\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10817-025-09733-w.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,23]],"date-time":"2025-09-23T22:02:42Z","timestamp":1758664962000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10817-025-09733-w"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,7,18]]},"references-count":12,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2025,9]]}},"alternative-id":["9733"],"URL":"https:\/\/doi.org\/10.1007\/s10817-025-09733-w","relation":{},"ISSN":["0168-7433","1573-0670"],"issn-type":[{"value":"0168-7433","type":"print"},{"value":"1573-0670","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,7,18]]},"assertion":[{"value":"13 September 2024","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"19 June 2025","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"18 July 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":"20"}}