This paper explores the performance of ChatGPT and GeoGebra Discovery when dealing with automatic geometric reasoning and discovery. The emergence of Large Language Models has attracted considerable attention in mathematics, among other fields where...
This paper presents an initial output of the project “Augmented Intelligence in Mathematics Education through Modeling, Automatic Reasoning and Artificial Intelligence (IAxEM-CM/PHS-2024/PH-HUM-383)”. The starting hypothesis of this proje...
Recently developed GeoGebra tools for the automated deduction and discovery of geometric statements combine in a unique way computational (real and complex) algebraic geometry algorithms and graphic features for the introduction and visualization of...
This paper explores the application of automated reasoning tools, specifically those implemented in GeoGebra Discovery, to the perimeter-area inequality in triangles. Focusing on the computational complex and real algebraic geometry methods behind th...
We compare the performance of two systems, ChatGPT 3.5 and GeoGebra 5, in a restricted, but quite relevant, benchmark from the realm of classical geometry: the determination of geometric loci, focusing, in particular, on the computation of envelopes...