Tomás Recio

2009
31	EE	Carlos Andradas, Tomás Recio, J. Rafael Sendra, Luis Felipe Tabera: On the simplification of the coefficients of a parametrization. J. Symb. Comput. 44(2): 192-210 (2009)
2007
30		Francisco Botana, Tomás Recio: Automated Deduction in Geometry, 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006. Revised Papers Springer 2007
29	EE	Carlos Andradas, Tomás Recio: Plotting missing points and branches of real parametric curves. Appl. Algebra Eng. Commun. Comput. 18(1-2): 107-126 (2007)
28	EE	Alicia Dickenstein, Patrizia Gianni, Tomás Recio: Foreword from the Editors. J. Symb. Comput. 42(1-2): 1-3 (2007)
2006
27	EE	Antonio Montes, Tomás Recio: Automatic Discovery of Geometry Theorems Using Minimal Canonical Comprehensive Gröbner Systems. Automated Deduction in Geometry 2006: 113-138
2004
26	EE	Francisco Botana, Tomás Recio: Towards Solving the Dynamic Geometry Bottleneck Via a Symbolic Approach. Automated Deduction in Geometry 2004: 92-110
25	EE	Tomás Recio, Francisco Botana: Where the Truth Lies (in Automatic Theorem Proving in Elementary Geometry). ICCSA (2) 2004: 761-770
24	EE	Tomás Recio, J. Rafael Sendra, Carlos Villarino: From hypercircles to units. ISSAC 2004: 258-265
2001
23		Tomás Recio, Manfred Kerber: Computer Algebra and Mechanized Reasoning: Selected St. Andrews' ISSAC/Calculemus 2000 Contributions - Foreword from the Editors. J. Symb. Comput. 32(1/2): 1-2 (2001)
1999
22	EE	Carlos Andradas, Tomás Recio, J. Rafael Sendra: Base Field Restriction Techniques for Parametric Curves. ISSAC 1999: 17-22
21		Tomás Recio, M. P. Vélez: Automatic Discovery of Theorems in Elementary Geometry. J. Autom. Reasoning 23(1): 63-82 (1999)
1998
20		Jaime Gutierrez, Tomás Recio: Advances on the Simplification of Sine-Cosine Equations. J. Symb. Comput. 26(1): 31-70 (1998)
1997
19		Carlos Andradas, Tomás Recio, J. Rafael Sendra: A Relatively Optimal Rational Space Curve Reparametrization Algorithm Through Canonical Divisors. ISSAC 1997: 349-355
18		M. L. Mazón, Tomás Recio: Voronoi Diagrams on Orbifolds. Comput. Geom. 8: 219-230 (1997)
17		Tomás Recio, J. Rafael Sendra: Real Reparametrizations of Real Curves. J. Symb. Comput. 23(2/3): 241-254 (1997)
1996
16		A. Corbalan, M. L. Mazón, Tomás Recio: Geometry of bisectors for strictly convex distances. Int. J. Comput. Geometry Appl. 6(1): 45-58 (1996)
1995
15	EE	Cesar Alonso, Jaime Gutierrez, Tomás Recio: Reconsidering Algorithms for Real Paramatric Curves. Appl. Algebra Eng. Commun. Comput. 6(6): 345-352 (1995)
14	EE	Cesar Alonso, Jaime Gutierrez, Tomás Recio: An implicitization algorithm with fewer variables. Computer Aided Geometric Design 12(3): 251-258 (1995)
13		Cesar Alonso, Jaime Gutierrez, Tomás Recio: A Rational Function Decomposition Algorithm by Near-Separated Polynomials. J. Symb. Comput. 19(6): 527-544 (1995)
1994
12	EE	Tomás Recio, M. J. González-López: On the Symbolic Insimplification of the General 6R-Manipulator Kinematic Equations. ISSAC 1994: 354-358
11		José Luis Montaña, Luis Miguel Pardo, Tomás Recio: A Note on Rabin's Width of a Complete Proof. Computational Complexity 4: 12-36 (1994)
10		Laureano González-Vega, Henri Lombardi, Tomás Recio, Marie-Françoise Roy: Spécialisation de la suite de Sturm. ITA 28(1): 1-24 (1994)
1993
9	EE	A. Corbalan, M. L. Mazón, Tomás Recio, Francisco Santos: On the Topological Shape of Planar Voronoi Diagrams. Symposium on Computational Geometry 1993: 109-115
8		M. J. González-López, Tomás Recio: Path Tracking in Motion Planning. Comput. J. 36(5): 515-524 (1993)
1992
7	EE	Jaime Gutierrez, Tomás Recio: A Practical Implementation of Two Rational Function Decomposition Algorithms. ISSAC 1992: 152-157
6		Jaime Gutierrez, Tomás Recio: Rational Function Decomposition and Gröbner Bases in the Parameterization of Plane Curves (An extended abstract). LATIN 1992: 231-245
1990
5		Laureano González-Vega, Henri Lombardi, Tomás Recio, Marie-Françoise Roy: Spécialisation de la suite de Sturm et sous-résulants. ITA 24: 561- (1990)
1989
4	EE	L. Gonzalez, Henri Lombardi, Tomás Recio, Marie-Françoise Roy: Sturm-Habicht Sequence. ISSAC 1989: 136-146
1988
3		Jaime Gutierrez, Tomás Recio, C. Ruiz de Velasco: Polynomial Decomposition Algorithm of Almost Quadratic Complexity. AAECC 1988: 471-475
1987
2		Felipe Cucker, Luis Miguel Pardo, Mario Raimondo, Tomás Recio, Marie-Françoise Roy: On the Computation of the Local and Global Analytic Branches of a Real Algebraic Curve. AAECC 1987: 161-181
1		Tomás Recio, Luis Miguel Pardo: Rabin's width of a complete proof and the width of a semialgebraic set. EUROCAL 1987: 456-462

Coauthor Index

1	Cesar Alonso	[13] [14] [15]
2	Carlos Andradas	[19] [22] [29] [31]
3	Francisco Botana	[25] [26] [30]
4	A. Corbalan	[9] [16]
5	Felipe Cucker	[2]
6	Alicia Dickenstein	[28]
7	Patrizia Gianni	[28]
8	L. Gonzalez	[4]
9	M. J. González-López	[8] [12]
10	Laureano González-Vega	[5] [10]
11	Jaime Gutierrez	[3] [6] [7] [13] [14] [15] [20]
12	Manfred Kerber	[23]
13	Henri Lombardi	[4] [5] [10]
14	M. L. Mazón	[9] [16] [18]
15	José Luis Montaña (José L. Montaña)	[11]
16	Antonio Montes	[27]
17	Luis M. Pardo (Luis Miguel Pardo)	[1] [2] [11]
18	Mario Raimondo	[2]
19	Marie-Françoise Roy	[2] [4] [5] [10]
20	Francisco Santos	[9]
21	J. Rafael Sendra	[17] [19] [22] [24] [31]
22	Luis Felipe Tabera	[31]
23	C. Ruiz de Velasco	[3]
24	M. P. Vélez	[21]
25	Carlos Villarino	[24]

Colors in the list of coauthors