no code implementations • 22 Jan 2024 • Belén Ariño-Morera, Zoltán Kovács, Tomás Recio, Piedad Tolmos
We address, through the automated reasoning tools in GeoGebra Discovery, a problem from a regional phase of the Austrian Mathematics Olympiad 2023.
1 code implementation • 22 Jan 2024 • Zoltán Kovács, Tomás Recio, M. Pilar Vélez
In our contribution we describe some on-going improvements concerning the Automated Reasoning Tools developed in GeoGebra Discovery, providing different examples of the performance of these new features.
no code implementations • 16 Feb 2018 • Zoltán Kovács, Tomás Recio, M. Pilar Vélez
We introduce and discuss, through a computational algebraic geometry approach, the automatic reasoning handling of propositions that are simultaneously true and false over some relevant collections of instances.