Follow
M. Pilar Vélez
M. Pilar Vélez
Universidad Antonio de Nebrija
Verified email at nebrija.es - Homepage
Title
Cited by
Cited by
Year
Automatic discovery of theorems in elementary geometry
T Recio, MP Vélez
Journal of automated reasoning 23, 63-82, 1999
1811999
Using Automated Reasoning Tools in GeoGebra in the Teaching and Learning of Proving in Geometry
Z Kovács, T Recio, MP Vélez
The International Journal for Technology in Mathematics Education 25 (2), 33-50, 2018
582018
Detecting truth, just on parts
Z Kovács, T Recio, MP Vélez
Revista Matemática Complutense 32 (2), 451-474, 2019
302019
Automatic geometry theorem proving
T Recio, H Sterk, MP Vélez
Some Tapas of Computer Algebra, 276-296, 1999
301999
Automated reasoning tools with GeoGebra: what are they? What are they good for?
Z Kovács, T Recio, MP Vélez
Mathematics education in the age of Artificial Intelligence: How Artificial …, 2022
252022
Towards an ecosystem for computer-supported geometric reasoning
Z Kovács, T Recio, PR Richard, S Van Vaerenbergh, MP Vélez
International Journal of Mathematical Education in Science and Technology 53 …, 2022
242022
Detecting real singularities of a space curve from a real rational parametrization
R Rubio, JM Serradilla, MP Vélez
Journal of Symbolic Computation 44 (5), 490-498, 2009
242009
Mathematics education in the age of artificial intelligence
PR Richard, MP Vélez, S Van Vaerenbergh
How artificial intelligence can serve the mathematical human learning, 2022
232022
Reasoning about linkages with dynamic geometry
Z Kovács, T Recio, MP Vélez
Journal of Symbolic Computation 97, 16-30, 2020
232020
Approximations to the magic formula
A Lopez, P Vélez, C Moriano
International journal of automotive technology 11, 155-166, 2010
212010
Designing Tasks Supported by GeoGebra Automated Reasoning Tools for the Development of Mathematical Skills.
T Recio, PR Richard, MP Vélez
International Journal for Technology in Mathematics Education 26 (2), 2019
202019
An introduction to automated discovery in geometry through symbolic computation
T Recio, MP Vélez
Numerical and Symbolic Scientific Computing: Progress and Prospects, 257-271, 2012
152012
Automated reasoning tools in GeoGebra discovery
Z Kovács, T Recio, MP Vélez
ACM Communications in Computer Algebra 55 (2), 39-43, 2021
122021
An algorithmic criterion for basicness in dimension 2
F Acquistapace, F Broglia, MP Vélez
manuscripta mathematica 85 (1), 45-66, 1994
121994
GeoGebra Automated Reasoning Tools: a Tutorial with Examples
Z Kovács, T Recio, PR Richard, MP Vélez
Proceedings of the 13th International Conference on Technology in …, 0
12*
Método de procesamiento rápido de las ecuaciones de la dinámica vehicular mediante polinomios de Chebyshev
A López, P Vélez, C Moriano
Encuentro Internacional de Algebra Computacional. EACA, 2006
112006
Automated reasoning in elementary geometry: towards inquiry learning
B Hauer, Z Kovacs, T Recio, MP Vélez
Pädagogische Horizonte 2 (2), 1–13, 2018
92018
Basicness of semialgebraic sets
F Acquistapace, F Broglia, MP Vélez
Geometriae Dedicata 78, 229-240, 1999
91999
Is computer algebra ready for conjecturing and proving geometric inequalities in the classroom?
CW Brown, Z Kovács, T Recio, R Vajda, MP Vélez
Mathematics in Computer Science 16 (4), 31, 2022
82022
Dealing with degeneracies in automated theorem proving in geometry
Z Kovács, T Recio, LF Tabera, MP Vélez
Mathematics 9 (16), 1964, 2021
82021
The system can't perform the operation now. Try again later.
Articles 1–20