Automatic discovery of theorems in elementary geometry T Recio, MP Vélez Journal of automated reasoning 23, 63-82, 1999 | 176 | 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 | 157 | 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 |

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 | 80 | 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 | 80 | 1995 |

Algorithms in Real Algebraic Geometry and Applications to Computational Geometry. J Heintz, T Recio, MF Roy Discrete and computational geometry 6, 137-163, 1990 | 69 | 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 |

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 | 66 | 2021 |

Using automated reasoning tools in GeoGebra in the teaching and learning of proving in geometry Z Kovács, T Recio Muńiz, MP Vélez Research Information, 2018 | 58 | 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 Automated Deduction in Geometry: 6th International Workshop, ADG 2006 …, 2007 | 51 | 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 | 44 | 2016 |

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 |

Cálculo simbólico y geométrico: Razonamiento matemático. Cuatro escenarios T Recio Síntesis, 1998 | 43 | 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 | 40 | 2014 |

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 |

Seminario" Itinerario Educativo de la Licenciatura de Matemáticas". Documento de Conclusiones y Propuestas TJR Muńiz Gaceta de la Real Sociedad Matemática Espańola 7 (1), 33-36, 2004 | 35 | 2004 |

An implicitization algorithm with fewer variables C Alonso, J Gutierrez, T Recio Computer Aided Geometric Design 12 (3), 251-258, 1995 | 33 | 1995 |

Generalizing the Steiner–Lehmus theorem using the Gröbner cover A Montes, T Recio Mathematics and Computers in Simulation 104, 67-81, 2014 | 32 | 2014 |