M. Pilar Vélez

According to our database, M. Pilar Vélez authored at least 14 papers between 1999 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

On Using GeoGebra and ChatGPT for Geometric Discovery.

Francisco Botana, Tomás Recio, M. Pilar Vélez

Comput., August, 2024

2023

Showing Proofs, Assessing Difficulty with GeoGebra Discovery.

Zoltán Kovács, Tomás Recio, M. Pilar Vélez

Proceedings of the Proceedings 14th International Conference on Automated Deduction in Geometry, 2023

Towards Detection of Partial Truth via Real Geometry.

Christopher W. Brown, Zoltán Kovács, Simone Luksch, Tomás Recio, Róbert Vajda, M. Pilar Vélez

Proceedings of the 8th SC-Square Workshop co-located with the 48th International Symposium on Symbolic and Algebraic Computation, 2023

2022

Is Computer Algebra Ready for Conjecturing and Proving Geometric Inequalities in the Classroom?

Christopher W. Brown, Zoltán Kovács, Tomás Recio, Róbert Vajda, M. Pilar Vélez

Math. Comput. Sci., 2022

Niagara Falls and the Origins of Computer Algebra.

M. Pilar Vélez, Tomás Recio, Carlos Ueno

Maple Trans., 2022

2021

GeoGebra Discovery in Context.

Zoltán Kovács, Tomás Recio, M. Pilar Vélez

Proceedings of the 13th International Conference on Automated Deduction in Geometry, 2021

Automated reasoning tools in GeoGebra discovery.

Zoltán Kovács, Tomás Recio, M. Pilar Vélez

ACM Commun. Comput. Algebra, 2021

2020

Reasoning about linkages with dynamic geometry.

Zoltán Kovács, Tomás Recio, M. Pilar Vélez

J. Symb. Comput., 2020

Merging Maple and GeoGebra Automated Reasoning Tools.

Zoltán Kovács, Tomás Recio, M. Pilar Vélez

Proceedings of the Maple in Mathematics Education and Research - 4th Maple Conference, 2020

2018

Detecting truth on components.

Zoltán Kovács, Tomás Recio, M. Pilar Vélez

CoRR, 2018

2009

Detecting real singularities of a space curve from a real rational parametrization.

Rosario Rubio San Miguel, J. Miguel Serradilla, M. Pilar Vélez

J. Symb. Comput., 2009

2006

A note on implicitization and normal parametrization of rational curves.

Rosario Rubio San Miguel, J. Miguel Serradilla, M. Pilar Vélez

Proceedings of the Symbolic and Algebraic Computation, International Symposium, 2006

1999

Automatic Discovery of Theorems in Elementary Geometry.

Tomás Recio, M. Pilar Vélez

J. Autom. Reason., 1999

Convex polytopes over ordered fields.

Carlos Andradas, M. Pilar Vélez

SIGSAM Bull., 1999