Search the dblp DataBase
Tomás Recio: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
Publications of Author
- 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. [Citation Graph (0, 0)][DBLP]
AAECC, 1987, pp:161-181 [Conf] - Jaime Gutierrez, Tomás Recio, C. Ruiz de Velasco
Polynomial Decomposition Algorithm of Almost Quadratic Complexity. [Citation Graph (0, 0)][DBLP]
AAECC, 1988, pp:471-475 [Conf] - Francisco Botana, Tomás Recio
Towards Solving the Dynamic Geometry Bottleneck Via a Symbolic Approach. [Citation Graph (0, 0)][DBLP]
Automated Deduction in Geometry, 2004, pp:92-110 [Conf] - A. Corbalan, M. L. Mazón, Tomás Recio, Francisco Santos
On the Topological Shape of Planar Voronoi Diagrams. [Citation Graph (0, 0)][DBLP]
Symposium on Computational Geometry, 1993, pp:109-115 [Conf] - Tomás Recio, Luis Miguel Pardo
Rabin's width of a complete proof and the width of a semialgebraic set. [Citation Graph (0, 0)][DBLP]
EUROCAL, 1987, pp:456-462 [Conf] - Tomás Recio, Francisco Botana
Where the Truth Lies (in Automatic Theorem Proving in Elementary Geometry). [Citation Graph (0, 0)][DBLP]
ICCSA (2), 2004, pp:761-770 [Conf] - Carlos Andradas, Tomás Recio, J. Rafael Sendra
A Relatively Optimal Rational Space Curve Reparametrization Algorithm Through Canonical Divisors. [Citation Graph (0, 0)][DBLP]
ISSAC, 1997, pp:349-355 [Conf] - Carlos Andradas, Tomás Recio, J. Rafael Sendra
Base Field Restriction Techniques for Parametric Curves. [Citation Graph (0, 0)][DBLP]
ISSAC, 1999, pp:17-22 [Conf] - L. Gonzalez, Henri Lombardi, Tomás Recio, Marie-Françoise Roy
Sturm-Habicht Sequence. [Citation Graph (0, 0)][DBLP]
ISSAC, 1989, pp:136-146 [Conf] - Jaime Gutierrez, Tomás Recio
A Practical Implementation of Two Rational Function Decomposition Algorithms. [Citation Graph (0, 0)][DBLP]
ISSAC, 1992, pp:152-157 [Conf] - Tomás Recio, M. J. González-López
On the Symbolic Insimplification of the General 6R-Manipulator Kinematic Equations. [Citation Graph (0, 0)][DBLP]
ISSAC, 1994, pp:354-358 [Conf] - Tomás Recio, J. Rafael Sendra, Carlos Villarino
From hypercircles to units. [Citation Graph (0, 0)][DBLP]
ISSAC, 2004, pp:258-265 [Conf] - Jaime Gutierrez, Tomás Recio
Rational Function Decomposition and Gröbner Bases in the Parameterization of Plane Curves (An extended abstract). [Citation Graph (0, 0)][DBLP]
LATIN, 1992, pp:231-245 [Conf] - Cesar Alonso, Jaime Gutierrez, Tomás Recio
Reconsidering Algorithms for Real Paramatric Curves. [Citation Graph (0, 0)][DBLP]
Appl. Algebra Eng. Commun. Comput., 1995, v:6, n:6, pp:345-352 [Journal] - Carlos Andradas, Tomás Recio
Plotting missing points and branches of real parametric curves. [Citation Graph (0, 0)][DBLP]
Appl. Algebra Eng. Commun. Comput., 2007, v:18, n:1-2, pp:107-126 [Journal] - Cesar Alonso, Jaime Gutierrez, Tomás Recio
An implicitization algorithm with fewer variables. [Citation Graph (0, 0)][DBLP]
Computer Aided Geometric Design, 1995, v:12, n:3, pp:251-258 [Journal] - José Luis Montaña, Luis Miguel Pardo, Tomás Recio
A Note on Rabin's Width of a Complete Proof. [Citation Graph (0, 0)][DBLP]
Computational Complexity, 1994, v:4, n:, pp:12-36 [Journal] - M. J. González-López, Tomás Recio
Path Tracking in Motion Planning. [Citation Graph (0, 0)][DBLP]
Comput. J., 1993, v:36, n:5, pp:515-524 [Journal] - M. L. Mazón, Tomás Recio
Voronoi Diagrams on Orbifolds. [Citation Graph (0, 0)][DBLP]
Comput. Geom., 1997, v:8, n:, pp:219-230 [Journal] - A. Corbalan, M. L. Mazón, Tomás Recio
Geometry of bisectors for strictly convex distances. [Citation Graph (0, 0)][DBLP]
Int. J. Comput. Geometry Appl., 1996, v:6, n:1, pp:45-58 [Journal] - Laureano González-Vega, Henri Lombardi, Tomás Recio, Marie-Françoise Roy
Spécialisation de la suite de Sturm. [Citation Graph (0, 0)][DBLP]
ITA, 1994, v:28, n:1, pp:1-24 [Journal] - Laureano González-Vega, Henri Lombardi, Tomás Recio, Marie-Françoise Roy
Spécialisation de la suite de Sturm et sous-résulants. [Citation Graph (0, 0)][DBLP]
ITA, 1990, v:24, n:, pp:561-0 [Journal] - Tomás Recio, M. P. Vélez
Automatic Discovery of Theorems in Elementary Geometry. [Citation Graph (0, 0)][DBLP]
J. Autom. Reasoning, 1999, v:23, n:1, pp:63-82 [Journal] - Cesar Alonso, Jaime Gutierrez, Tomás Recio
A Rational Function Decomposition Algorithm by Near-Separated Polynomials. [Citation Graph (0, 0)][DBLP]
J. Symb. Comput., 1995, v:19, n:6, pp:527-544 [Journal] - Jaime Gutierrez, Tomás Recio
Advances on the Simplification of Sine-Cosine Equations. [Citation Graph (0, 0)][DBLP]
J. Symb. Comput., 1998, v:26, n:1, pp:31-70 [Journal] - Tomás Recio, Manfred Kerber
Computer Algebra and Mechanized Reasoning: Selected St. Andrews' ISSAC/Calculemus 2000 Contributions - Foreword from the Editors. [Citation Graph (0, 0)][DBLP]
J. Symb. Comput., 2001, v:32, n:1/2, pp:1-2 [Journal] - Tomás Recio, J. Rafael Sendra
Real Reparametrizations of Real Curves. [Citation Graph (0, 0)][DBLP]
J. Symb. Comput., 1997, v:23, n:2/3, pp:241-254 [Journal] - Alicia Dickenstein, Patrizia Gianni, Tomás Recio
Foreword from the Editors. [Citation Graph (0, 0)][DBLP]
J. Symb. Comput., 2007, v:42, n:1-2, pp:1-3 [Journal]
Automatic Discovery of Geometry Theorems Using Minimal Canonical Comprehensive Gröbner Systems. [Citation Graph (, )][DBLP]
Search in 0.081secs, Finished in 0.083secs
| NOTICE1 |
|---|
| System may not be available sometimes or not working properly, since it is still in development with continuous upgrades |
| NOTICE2 |
|---|
| The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002