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 (1), 63-82, 1999
1521999
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
462018
Automatic geometry theorem proving
T Recio, H Sterk, MP Vélez
Some Tapas of Computer Algebra, 276-296, 1999
251999
Detecting truth, just on parts
Z Kovács, T Recio, MP Vélez
Revista Matemática Complutense 32 (2), 451-474, 2019
232019
Approximations to the magic formula
A Lopez, P Vélez, C Moriano
International journal of automotive technology 11 (2), 155-166, 2010
212010
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
212009
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
162019
Reasoning about linkages with dynamic geometry
Z Kovács, T Recio, MP Vélez
Journal of Symbolic Computation 97, 16-30, 2020
132020
An introduction to automated discovery in geometry through symbolic computation
T Recio, MP Vélez
Numerical and Symbolic Scientific Computing, 257-271, 2012
132012
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
11*
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
102006
An algorithmic criterion for basicness in dimension 2
F Acquistapace, F Broglia, MP Vélez
manuscripta mathematica 85 (1), 45-66, 1994
101994
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, 1-10, 2020
92020
Basicness of semialgebraic sets
F Acquistapace, F Broglia
Geometriae Dedicata 78 (3), 229-240, 1999
91999
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
82018
Merging Maple and GeoGebra Automated Reasoning Tools
Z Kov\'acs, T Recio, MP Vélez
Maple in Mathematics Education and Research, Corless R. M., Gerhard, J. and …, 2021
72021
Bivariate Chebyshev expansion of the Pacejka's tyre model
A López, P Vélez, C Moriano
AIP Conference Proceedings 936 (1), 347-350, 2007
72007
Hacia un autómata geómetra
F Botana, Z Kovács, T Recio, MP Vélez
La Gaceta de la Real Sociedad Matemática Española 23 (2), 343– 371, 2020
62020
GeoGebra automated reasoning tools: a tutorial
Z Kovács, T Recio, MP Vélez
62018
The role of automated reasoning of geometry statements in mathematics instruction
F Botana, T Recio, MP Vélez
CERME 10, 2017
52017
The system can't perform the operation now. Try again later.
Articles 1–20