Automatic discovery of theorems in elementary geometry T Recio, MP Vélez Journal of automated reasoning 23 (1), 63-82, 1999 | 138 | 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 | 94 | 2015 |

Sturm-habicht sequence L Gonzalez, H Lombardi, T Recio, MF Roy Proceedings of the ACM-SIGSAM 1989 international symposium on Symbolic and …, 1989 | 91 | 1989 |

The category of Z-continuous posets HJ Bandelt, M Erné Journal of Pure and Applied Algebra 30 (3), 219-226, 1983 | 88 | 1983 |

A rational function decomposition algorithm by near-separated polynomials C Alonso, J Gutierrez, T Recio Journal of Symbolic Computation 19 (6), 527-544, 1995 | 75 | 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 | 70 | 1998 |

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

Algorithms in real algebraic geometry and applications to computational geometry J Heintz, T Recio, MF Roy Discrete and Computational Geometry: Papers from the DIMACS Special Year (JE …, 1991 | 61 | 1991 |

On protocols for the automated discovery of theorems in elementary geometry G Dalzotto, T Recio Journal of Automated Reasoning 43 (2), 203-236, 2009 | 48 | 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 | 47 | 2006 |

Real reparametrizations of real curves T Recio, JR Sendra Journal of Symbolic Computation 23 (2-3), 241-254, 1997 | 41 | 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 | 39 | 1993 |

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

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 | 32 | 2014 |

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

Base field restriction techniques for parametric curves C Andradas, T Recio, JR Sendra Proceedings of the 1999 international symposium on Symbolic and algebraic …, 1999 | 32 | 1999 |

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 | 31 | 2016 |

Plotting missing points and branches of real parametric curves C Andradas, T Recio Applicable Algebra in Engineering, Communication and Computing 18 (1-2), 107-126, 2007 | 31 | 2007 |

Geometry of bisectors for strictly convex distances AG Corbalan, M Mazon, T Recio International Journal of Computational Geometry & Applications 6 (01), 45-58, 1996 | 29 | 1996 |

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 | 27 | 2018 |