| Automatic discovery of theorems in elementary geometry T Recio, MP Vélez Journal of automated reasoning 23 (1), 63-82, 1999 | 184 | 1999 |
| Automated theorem proving in GeoGebra: Current achievements F Botana, M Hohenwarter, P Janičić, Z Kovács, I Petrović, T Recio, ... Journal of Automated Reasoning 55 (1), 39-59, 2015 | 175 | 2015 |
| Sturm-habicht sequence L Gonzalez, H Lombardi, T Recio, MF Roy Proceedings of the ACM-SIGSAM 1989 international symposium on Symbolic and …, 1989 | 101 | 1989 |
| Teaching from a distance—Math lessons during COVID-19 in Germany and Spain S Barlovits, S Jablonski, C Lázaro, M Ludwig, T Recio Education Sciences 11 (8), 406, 2021 | 84 | 2021 |
| Sturm—habicht sequences, determinants and real roots of univariate polynomials L González-Vega, T Recio, H Lombardi, MF Roy Quantifier Elimination and Cylindrical Algebraic Decomposition, 300-316, 1998 | 84 | 1998 |
| A rational function decomposition algorithm by near-separated polynomials C Alonso, J Gutierrez, T Recio Journal of Symbolic Computation 19 (6), 527-544, 1995 | 81 | 1995 |
| Spécialisation de la suite de Sturm et sous-résultants (I) L González-Vega, H Lombardi, T Recio, MF Roy RAIRO-Theoretical Informatics and Applications 24 (6), 561-588, 1990 | 71 | 1990 |
| Algorithms in real algebraic geometry and applications to computational geometry J Heintz, T Recio, MF Roy DIMACS Series in Discrete Mathematics and Theoretical Computer Science 6 …, 1991 | 67 | 1991 |
| Using automated reasoning tools in GeoGebra in the teaching and learning of proving in geometry Z Kovács, T Recio, M Pilar Velez International Journal for Technology in Mathematics Education 25 (2), 33-50, 2018 | 63 | 2018 |
| On protocols for the automated discovery of theorems in elementary geometry G Dalzotto, T Recio Journal of Automated Reasoning 43 (2), 203-236, 2009 | 55 | 2009 |
| Automatic discovery of geometry theorems using minimal canonical comprehensive Gröbner systems A Montes, T Recio International Workshop on Automated Deduction in Geometry, 113-138, 2006 | 55 | 2006 |
| An algebraic taxonomy for locus computation in dynamic geometry MÁ Abánades, F Botana, A Montes, T Recio Computer-Aided Design 56, 22-33, 2014 | 54 | 2014 |
| 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 | 50 | 2022 |
| Development of automatic reasoning tools in GeoGebra M Abánades, F Botana, Z Kovács, T Recio, C Sólyom-Gecse ACM Communications in Computer Algebra 50 (3), 85-88, 2016 | 49 | 2016 |
| Cálculo simbólico y geométrico: Razonamiento matemático. Cuatro escenarios T Recio Síntesis, 1998 | 47 | 1998 |
| The ROMIN inverse geometric model and the dynamic evaluation method MJ González-López, T Recio Proc. of the 1991 SCAFI Seminar, Computer Algebra in Industry. Wiley, 1993 | 45 | 1993 |
| Real reparametrizations of real curves T Recio, JR Sendra Journal of Symbolic Computation 23 (2-3), 241-254, 1997 | 44 | 1997 |
| Professional development in mathematics education—Evaluation of a MOOC on outdoor mathematics E Taranto, S Jablonski, T Recio, C Mercat, E Cunha, C Lázaro, M Ludwig, ... Mathematics 9 (22), 2975, 2021 | 38 | 2021 |
| Adaptive, synchronous, and mobile online education: Developing the ASYMPTOTE learning environment S Barlovits, A Caldeira, G Fesakis, S Jablonski, D Koutsomanoli Filippaki, ... Mathematics 10 (10), 1628, 2022 | 37 | 2022 |
| Detecting truth, just on parts Z Kovács, T Recio, MP Vélez Revista Matemática Complutense 32 (2), 451-474, 2019 | 36 | 2019 |
Juan Rafael SendraProf. of Cunef Universidad (on leave from Universidad de Alcalá)Verified email at cunef.edu
