Tomás Recio

	2009
32		Giorgio Dalzotto, Tomás Recio: On Protocols for the Automated Discovery of Theorems in Elementary Geometry. J. Autom. Reasoning 43(2): 203-236 (2009)
31		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		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		Alicia Dickenstein, Patrizia Gianni, Tomás Recio: Foreword from the Editors. J. Symb. Comput. 42(1-2): 1-3 (2007)
	2006
27		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		Francisco Botana, Tomás Recio: Towards Solving the Dynamic Geometry Bottleneck Via a Symbolic Approach. Automated Deduction in Geometry 2004: 92-110
25		Tomás Recio, Francisco Botana: Where the Truth Lies (in Automatic Theorem Proving in Elementary Geometry). ICCSA (2) 2004: 761-770
24		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		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		Cesar Alonso, Jaime Gutierrez, Tomás Recio: Reconsidering Algorithms for Real Paramatric Curves. Appl. Algebra Eng. Commun. Comput. 6(6): 345-352 (1995)
14		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		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		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		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		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	Giorgio Dalzotto	[32]
7	Alicia Dickenstein	[28]
8	Patrizia Gianni	[28]
9	L. Gonzalez	[4]
10	M. J. González-López	[8] [12]
11	Laureano González-Vega	[5] [10]
12	Jaime Gutierrez	[3] [6] [7] [13] [14] [15] [20]
13	Manfred Kerber	[23]
14	Henri Lombardi	[4] [5] [10]
15	M. L. Mazón	[9] [16] [18]
16	José Luis Montaña (José L. Montaña)	[11]
17	Antonio Montes	[27]
18	Luis M. Pardo (Luis Miguel Pardo)	[1] [2] [11]
19	Mario Raimondo	[2]
20	Marie-Françoise Roy	[2] [4] [5] [10]
21	Francisco Santos	[9]
22	J. Rafael Sendra	[17] [19] [22] [24] [31]
23	Luis Felipe Tabera	[31]
24	C. Ruiz de Velasco	[3]
25	M. P. Vélez	[21]
26	Carlos Villarino	[24]

Colors in the list of coauthors