GeoGebra Discovery at EGMO 2022

Ariño-Morera, Maria Belén

doi:10.23925/2237-9657.2022.v11i2p005-016

Cited by 1 publication

(1 citation statement)

References 4 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Mathematics Olympiads problems provide an interesting benchmark for testing the performance of such instruments. Interesting, from multiple perspectives: by itself, as a source of challenging mathematical questions that our ART should be able to deal with; as a test to measure and compare the performance of humans and machines on the same problems [2], [3]; as a test on the suitability of the recently proposed intrinsic measure of complexity of a geometric statement [4].…”

Section: Introductionmentioning

confidence: 99%

Solving with GeoGebra Discovery an Austrian Mathematics Olympiad problem: Lessons Learned

Ariño-Morera,

Kovács,

Recio

et al. 2024

Electron. Proc. Theor. Comput. Sci.

View full text Add to dashboard Cite

We address, through the automated reasoning tools in GeoGebra Discovery, a problem from a regional phase of the Austrian Mathematics Olympiad 2023. Trying to solve this problem gives rise to four different kind of feedback: the almost instantaneous, automated solution of the proposed problem; the measure of its complexity, according to some recent proposals; the automated discovery of a generalization of the given assertion, showing that the same statement is true over more general polygons than those mentioned in the problem; and the difficulties associated to the analysis of the surprising and involved high number of degenerate cases that appear when using the LocusEquation command in this problem. In our communication we will describe and reflect on these diverse issues, enhancing its exemplar role for showing some of the advantages, problems, and current fields of development of GeoGebra Discovery.

show abstract

Section: Introductionmentioning

confidence: 99%