| Automatic discovery of theorems in elementary geometry T Recio, MP Vélez Journal of automated reasoning 23, 63-82, 1999 | 185 | 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, 39-59, 2015 | 164 | 2015 |
| Sturm-habicht sequence L Gonzalez, H Lombardi, T Recio, MF Roy Proceedings of the ACM-SIGSAM 1989 international symposium on Symbolic and …, 1989 | 100 | 1989 |
| A rational function decomposition algorithm by near-separated polynomials C Alonso, J Gutierrez, T Recio Journal of Symbolic Computation 19 (6), 527-544, 1995 | 80 | 1995 |
| 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 | 79 | 1998 |
| 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 | 76 | 2021 |
| Algorithms in Real Algebraic Geometry and Applications to Computational Geometry. J Heintz, T Recio, MF Roy Discrete and computational geometry 6, 137-163, 1990 | 70 | 1990 |
| 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 | 68 | 1990 |
| 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 | 59 | 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 | 57 | 2009 |
| Automatic discovery of geometry theorems using minimal canonical comprehensive Gröbner systems A Montes, T Recio Automated Deduction in Geometry: 6th International Workshop, ADG 2006 …, 2007 | 56 | 2007 |
| 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 | 47 | 2016 |
| Cálculo simbólico y geométrico: Razonamiento matemático. Cuatro escenarios T Recio Síntesis, 1998 | 45 | 1998 |
| 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 | 44 | 2014 |
| Real reparametrizations of real curves T Recio, JR Sendra Journal of Symbolic Computation 23 (2-3), 241-254, 1997 | 44 | 1997 |
| 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 | 44 | 1993 |
| Base field restriction techniques for parametric curves C Andradas, T Recio, JR Sendra Proceedings of the 1999 international symposium on Symbolic and algebraic …, 1999 | 36 | 1999 |
| Detecting truth, just on parts Z Kovács, T Recio, MP Vélez Revista Matemática Complutense 32 (2), 451-474, 2019 | 33 | 2019 |
| Generalizing the Steiner–Lehmus theorem using the Gröbner cover A Montes, T Recio Mathematics and Computers in Simulation 104, 67-81, 2014 | 33 | 2014 |
| An implicitization algorithm with fewer variables C Alonso, J Gutierrez, T Recio Computer Aided Geometric Design 12 (3), 251-258, 1995 | 33 | 1995 |
Juan Rafael SendraProf. of Cunef Universidad (on leave from Universidad de Alcalá)Verified email at cunef.edu
