| Automatic discovery of theorems in elementary geometry T Recio, MP Vélez Journal of automated reasoning 23, 63-82, 1999 | 181 | 1999 |
| 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 | 58 | 2018 |
| Detecting truth, just on parts Z Kovács, T Recio, MP Vélez Revista Matemática Complutense 32 (2), 451-474, 2019 | 30 | 2019 |
| Automatic geometry theorem proving T Recio, H Sterk, MP Vélez Some Tapas of Computer Algebra, 276-296, 1999 | 30 | 1999 |
| 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 | 25 | 2022 |
| 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 | 24 | 2022 |
| 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 | 24 | 2009 |
| Reasoning about linkages with dynamic geometry Z Kovács, T Recio, MP Vélez Journal of Symbolic Computation 97, 16-30, 2020 | 23 | 2020 |
| 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 | 22 | 2022 |
| Approximations to the magic formula A Lopez, P Vélez, C Moriano International journal of automotive technology 11, 155-166, 2010 | 21 | 2010 |
| 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 | 20 | 2019 |
| 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 | 15 | 2012 |
| Automated reasoning tools in GeoGebra discovery Z Kovács, T Recio, MP Vélez ACM Communications in Computer Algebra 55 (2), 39-43, 2021 | 12 | 2021 |
| An algorithmic criterion for basicness in dimension 2 F Acquistapace, F Broglia, MP Vélez manuscripta mathematica 85 (1), 45-66, 1994 | 12 | 1994 |
| 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 | 11 | 2006 |
| 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 | 9 | 2018 |
| Basicness of semialgebraic sets F Acquistapace, F Broglia, MP Vélez Geometriae Dedicata 78, 229-240, 1999 | 9 | 1999 |
| 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 | 8 | 2022 |
| Dealing with degeneracies in automated theorem proving in geometry Z Kovács, T Recio, LF Tabera, MP Vélez Mathematics 9 (16), 1964, 2021 | 8 | 2021 |
Tomas RecioUniversidad Antonio de Nebrija在 nebrija.es 的电子邮件经过验证
