Follow
Tomas Recio
Tomas Recio
Other namesTJR Muńiz, T. Recio, Tomas Jesus Recio Muńiz
Universidad Antonio de Nebrija
Verified email at nebrija.es - Homepage
Title
Cited by
Cited by
Year
Automatic discovery of theorems in elementary geometry
T Recio, MP Vélez
Journal of automated reasoning 23, 63-82, 1999
1761999
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
1572015
Sturm-habicht sequence
L Gonzalez, H Lombardi, T Recio, MF Roy
Proceedings of the ACM-SIGSAM 1989 international symposium on Symbolic and …, 1989
1001989
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
801998
A rational function decomposition algorithm by near-separated polynomials
C Alonso, J Gutierrez, T Recio
Journal of Symbolic Computation 19 (6), 527-544, 1995
801995
Algorithms in Real Algebraic Geometry and Applications to Computational Geometry.
J Heintz, T Recio, MF Roy
Discrete and computational geometry 6, 137-163, 1990
691990
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
681990
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
662021
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
582018
On protocols for the automated discovery of theorems in elementary geometry
G Dalzotto, T Recio
Journal of Automated Reasoning 43 (2), 203-236, 2009
552009
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
512007
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
442016
Real reparametrizations of real curves
T Recio, JR Sendra
Journal of Symbolic Computation 23 (2-3), 241-254, 1997
441997
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
441993
Cálculo simbólico y geométrico: Razonamiento matemático. Cuatro escenarios
T Recio
Síntesis, 1998
431998
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
402014
Base field restriction techniques for parametric curves
C Andradas, T Recio, JR Sendra
Proceedings of the 1999 international symposium on Symbolic and algebraic …, 1999
361999
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
352004
An implicitization algorithm with fewer variables
C Alonso, J Gutierrez, T Recio
Computer Aided Geometric Design 12 (3), 251-258, 1995
331995
Generalizing the Steiner–Lehmus theorem using the Gröbner cover
A Montes, T Recio
Mathematics and Computers in Simulation 104, 67-81, 2014
322014
The system can't perform the operation now. Try again later.
Articles 1–20