Search Results for author: M. Pilar Vélez

Found 2 papers, 1 papers with code

Showing Proofs, Assessing Difficulty with GeoGebra Discovery

1 code implementation22 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.

Detecting truth, just on parts

no code implementations16 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.

Cannot find the paper you are looking for? You can Submit a new open access paper.