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.