Tomas Recio
Tomas Recio
Afiliación desconocida
Dirección de correo verificada de unican.es
Título
Citado por
Citado por
Año
Automatic discovery of theorems in elementary geometry
T Recio, MP Vélez
Journal of automated reasoning 23 (1), 63-82, 1999
1271999
Sturm-habicht sequence
L Gonzalez, H Lombardi, T Recio, MF Roy
Proceedings of the ACM-SIGSAM 1989 international symposium on Symbolic and …, 1989
911989
The category of Z-continuous posets
HJ Bandelt, M Erné
Journal of Pure and Applied Algebra 30 (3), 219-226, 1983
861983
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
782015
A rational function decomposition algorithm by near-separated polynomials
C Alonso, J Gutierrez, T Recio
Journal of Symbolic Computation 19 (6), 527-544, 1995
751995
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
671998
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
641991
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
631990
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
492006
On protocols for the automated discovery of theorems in elementary geometry
G Dalzotto, T Recio
Journal of Automated Reasoning 43 (2), 203-236, 2009
422009
Real reparametrizations of real curves
T Recio, JR Sendra
Journal of Symbolic Computation 23 (2-3), 241-254, 1997
411997
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
401993
Algorithms in algebraic geometry and applications
L González-Vega, R Tomas
Birkhäuser, 2012
382012
An implicitization algorithm with fewer variables
C Alonso, J Gutierrez, T Recio
Computer Aided Geometric Design 12 (3), 251-258, 1995
361995
Base field restriction techniques for parametric curves
C Andradas, T Recio, JR Sendra
Proceedings of the 1999 international symposium on Symbolic and algebraic …, 1999
321999
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
312004
Geometry of bisectors for strictly convex distances
AG Corbalan, M Mazon, T Recio
International Journal of Computational Geometry & Applications 6 (01), 45-58, 1996
301996
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
292014
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
292007
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
252016
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20