M. Pilar Vélez

Publication Activity (10 Years)

Years Active: 1999-2024
Publications (10 Years): 9

Top Topics

Theorem Proving

Automated Reasoning

Prime Implicants

Top Venues

Math. Comput. Sci.

ACM Commun. Comput. Algebra

Publications

Zoltán Kovács, Tomás Recio, M. Pilar Vélez
Showing Proofs, Assessing Difficulty with GeoGebra Discovery. CoRR (2024)
Christopher W. Brown, Zoltán Kovács, Simone Luksch, Tomás Recio, Róbert Vajda, M. Pilar Vélez
Towards Detection of Partial Truth via Real Geometry. SC-Square@ISSAC (2023)
Christopher W. Brown, Zoltán Kovács, Tomás Recio, Róbert Vajda, M. Pilar Vélez
Is Computer Algebra Ready for Conjecturing and Proving Geometric Inequalities in the Classroom? Math. Comput. Sci. 16 (4) (2022)
Zoltán Kovács, Tomás Recio, M. Pilar Vélez
GeoGebra Discovery in Context. CoRR (2022)
M. Pilar Vélez, Tomás Recio, Carlos Ueno
Niagara Falls and the Origins of Computer Algebra. Maple Trans. 2 (1) (2022)
Zoltán Kovács, Tomás Recio, M. Pilar Vélez
Automated reasoning tools in GeoGebra discovery. ACM Commun. Comput. Algebra 55 (2) (2021)
Zoltán Kovács, Tomás Recio, M. Pilar Vélez
Reasoning about linkages with dynamic geometry. J. Symb. Comput. 97 (2020)
Zoltán Kovács, Tomás Recio, M. Pilar Vélez
Merging Maple and GeoGebra Automated Reasoning Tools. MC (2020)
Zoltán Kovács, Tomás Recio, M. Pilar Vélez
Detecting truth on components. CoRR (2018)
Rosario Rubio San Miguel, J. Miguel Serradilla, M. Pilar Vélez
Detecting real singularities of a space curve from a real rational parametrization. J. Symb. Comput. 44 (5) (2009)
Rosario Rubio San Miguel, J. Miguel Serradilla, M. Pilar Vélez
A note on implicitization and normal parametrization of rational curves. ISSAC (2006)
Carlos Andradas, M. Pilar Vélez
Convex polytopes over ordered fields. SIGSAM Bull. 33 (3) (1999)
Tomás Recio, M. Pilar Vélez
Automatic Discovery of Theorems in Elementary Geometry. J. Autom. Reason. 23 (1) (1999)