The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Tomás Recio: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. 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]
  3. 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]
  4. 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]
  5. 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]
  6. 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]
  7. 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]
  8. 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]
  9. 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]
  10. 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]
  11. 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]
  12. Tomás Recio, J. Rafael Sendra, Carlos Villarino
    From hypercircles to units. [Citation Graph (0, 0)][DBLP]
    ISSAC, 2004, pp:258-265 [Conf]
  13. 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]
  14. 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]
  15. 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]
  16. 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]
  17. 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]
  18. 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]
  19. 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]
  20. 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]
  21. 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]
  22. 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]
  23. 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]
  24. 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]
  25. 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]
  26. 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]
  27. 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]
  28. 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]

  29. Automatic Discovery of Geometry Theorems Using Minimal Canonical Comprehensive Gröbner Systems. [Citation Graph (, )][DBLP]


Search in 0.008secs, Finished in 0.010secs
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
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002