Get started
Author

María Pilar Vélez

Observed names: M Pilar Vélez, M. P. Vélez, M. Pilar VELEZ, M. Pilar Vélez, M.P. Vélez, M.P. vélez, M.Pilar Vélez, M: Pilar Vélez, María P. Vélez, María Pilar Vélez Melón, María Vélez, P. Vélez, Pilar Vélez, Pilar Vélez, M., Vélez, M. Pilar
Institution: Universidad Nebrija
ORCID: 0000-0002-5724-4300
Observed ORCID: 0000-0002-5724-4300
OpenAlex ID: A5010034022
Automatic Discovery of Theorems in Elementary Geometry
1999 · T. Recio, M. P. Vélez · Journal of Automated Reasoning · 105
Using Automated Reasoning Tools in GeoGebra in the Teaching and Learning of Proving in Geometry
2018 · Zoltán Kovács, Tomás Recio, et al. · International Journal for Technology in Mathematics Education · 35
Automated Reasoning Tools with GeoGebra: What Are They? What Are They Good For?
2022 · Zoltán Kovács, Tomás Recio, et al. · Mathematics education in the digital era · 31
Detecting truth, just on parts
2018 · Zoltán Kovács, Tomás Recio, et al. · Revista Matemática Complutense · 25
PDF
Towards an ecosystem for computer-supported geometric reasoning
2020 · Zoltán Kovács, Tomás Recio, et al. · International Journal of Mathematical Education in Science and Technology · 23
Automated reasoning tools in GeoGebra discovery
2021 · Zoltán Kovács, Tomás Recio, et al. · ACM communications in computer algebra · 22
Detecting real singularities of a space curve from a real rational parametrization
2008 · R. Rubio, J.M. Serradilla, et al. · Journal of Symbolic Computation · 19
Reasoning about linkages with dynamic geometry
2019 · Zoltán Kovács, Tomás Recio, et al. · Journal of Symbolic Computation · 18
On Using GeoGebra and ChatGPT for Geometric Discovery
2024 · Francisco Botana, Tomas Recio, et al. · Computers · 16
PDF
Approximations to the magic formula
2010 · A. López, P. Vélez, et al. · International Journal of Automotive Technology · 16
Automatic Geometry Theorem Proving
1999 · Tomas Recio, Hans Sterk, et al. · Algorithms and computation in mathematics · 15
Designing Tasks Supported by GeoGebra Automated Reasoning Tools for the Development of Mathematical Skills
2019 · Tomás Recio, Philippe R. Richard, et al. · International Journal for Technology in Mathematics Education · 14
From the Steam Engine to STEAM Education: An Experience with Pre-Service Mathematics Teachers
2023 · Angel C. Herrero, Tomás Recio, et al. · Mathematics · 12
PDF
An Introduction to Automated Discovery in Geometry through Symbolic Computation
2011 · Tomas Recio, María P. Vélez · Texts & monographs in symbolic computation/Texts and monographs in symbolic computation · 9
Is Computer Algebra Ready for Conjecturing and Proving Geometric Inequalities in the Classroom?
2022 · Christopher W. Brown, Zoltán Kovács, et al. · Mathematics in Computer Science · 7
Dealing with Degeneracies in Automated Theorem Proving in Geometry
2021 · Zoltán Kovács, Tomas Recio, et al. · Mathematics · 7
PDF
The ShowProof Command in GeoGebra Discovery : Towards the Automated Ranking of Elementary Geometry Theorems
2024 · Zoltán Kovács, Bernard Parisse, et al. · ACM communications in computer algebra · 6
Showing Proofs, Assessing Difficulty with GeoGebra Discovery
2024 · Zoltán Kovács, Tomás Recio, et al. · Electronic Proceedings in Theoretical Computer Science · 6
PDF
Artificial Intelligence Techniques in Software Design for Mathematics Education
2023 · Jean-Baptiste Lagrange, Philippe R. Richard, et al. · Springer international handbooks of education · 6
GeoGebra Discovery in Context
2021 · Zoltán Kovács, Tomás Recio, et al. · Electronic Proceedings in Theoretical Computer Science · 6
Merging Maple and GeoGebra Automated Reasoning Tools
2021 · Zoltán Kovács, Tomás Recio, et al. · Communications in computer and information science · 6
Artificial Intelligence Techniques in Software Design for Mathematics Education
2024 · Jean-Baptiste Lagrange, Philippe R. Richard, et al. · Springer international handbooks of education · 5
Basicness of Semialgebraic Sets
1999 · F. Acquistapace, F. Broglia, et al. · Geometriae Dedicata · 5
An algorithmic criterion for basicness in dimension 2
1994 · F. Acquistapace, F. Broglia, et al. · manuscripta mathematica · 5
PDF
A note on implicitization and normal parametrization of rational curves
2006 · Rosario Rubio, J. Miguel Serradilla, et al. · International Symposium on Symbolic and Algebraic Computation · 4
Works count: 69
Citation count: 442
H-index: 12
I10-index: 13
Year
Topic
Type