On the Computation of the Local and Global Analytic Branches of a Real Algebraic Curve. - Felipe Cucker; Luis Miguel Pardo; Mario Raimondo; Tomás Recio; Marie-Françoise Roy (AAECC, 1987)

Rabin's width of a complete proof and the width of a semialgebraic set. - Tomás Recio; Luis Miguel Pardo (EUROCAL, 1987)

Polynomial Decomposition Algorithm of Almost Quadratic Complexity. - Jaime Gutierrez 001; Tomás Recio; C. Ruiz de Velasco (AAECC, 1988)

Sturm-Habicht Sequence. - Laureano González; Henri Lombardi; Tomás Recio; Marie-Françoise Roy (ISSAC, 1989)

Algorithms in Real Algebraic Geometry and Applications to Computational Geometry. - Joos Heintz; Tomás Recio; Marie-Françoise Roy (Discrete and Computational Geometry, 1990)

Spécialisation de la suite de Sturm et sous-résulants. - Laureano González-Vega; Henri Lombardi; Tomás Recio; Marie-Françoise Roy (RAIRO Theor. Informatics Appl., 1990)

A Practical Implementation of Two Rational Function Decomposition Algorithms. - Jaime Gutierrez 001; Tomás Recio (ISSAC, 1992)

Rational Function Decomposition and Gröbner Bases in the Parameterization of Plane Curves (An extended abstract). - Jaime Gutierrez 001; Tomás Recio (LATIN, 1992)

On the Topological Shape of Planar Voronoi Diagrams. - A. Corbalan; Marisa Mazón; Tomás Recio; Francisco Santos (SCG, 1993)

Path Tracking in Motion Planning. - M. J. González-López; Tomás Recio (Comput. J., 1993)

On the Symbolic Insimplification of the General 6R-Manipulator Kinematic Equations. - Tomás Recio; M. J. González-López (ISSAC, 1994)

A Note on Rabin's Width of a Complete Proof. - José Luis Montaña; Luis Miguel Pardo; Tomás Recio (Comput. Complex., 1994)

Spécialisation de la suite de Sturm. - Laureano González-Vega; Henri Lombardi; Tomás Recio; Marie-Françoise Roy (RAIRO Theor. Informatics Appl., 1994)

Reconsidering algorithms for real parametric curves. - Cesar Alonso; Jaime Gutierrez 001; Tomás Recio (Appl. Algebra Eng. Commun. Comput., 1995)

An implicitization algorithm with fewer variables. - Cesar Alonso; Jaime Gutierrez 001; Tomás Recio (Comput. Aided Geom. Des., 1995)

A Rational Function Decomposition Algorithm by Near-Separated Polynomials. - Cesar Alonso; Jaime Gutierrez 001; Tomás Recio (J. Symb. Comput., 1995)

Geometry of bisectors for strictly convex distances. - A. Corbalan; Marisa Mazón; Tomás Recio (Int. J. Comput. Geom. Appl., 1996)

A Relatively Optimal Rational Space Curve Reparametrization Algorithm Through Canonical Divisors. - Carlos Andradas; Tomás Recio; J. Rafael Sendra (ISSAC, 1997)

Voronoi Diagrams on Orbifolds. - Marisa Mazón; Tomás Recio (Comput. Geom., 1997)

Real Reparametrizations of Real Curves. - Tomás Recio; J. Rafael Sendra (J. Symb. Comput., 1997)

Advances on the Simplification of Sine-Cosine Equations. - Jaime Gutierrez 001; Tomás Recio (J. Symb. Comput., 1998)

Base Field Restriction Techniques for Parametric Curves. - Carlos Andradas; Tomás Recio; J. Rafael Sendra (ISSAC, 1999)

Computing Weil's descente variety. - Tomás Recio (SIGSAM Bull., 1999)

Automatic Discovery of Theorems in Elementary Geometry. - Tomás Recio; M. Pilar Vélez (J. Autom. Reason., 1999)

Computer Algebra and Mechanized Reasoning: Selected St. Andrews' ISSAC/Calculemus 2000 Contributions - Foreword from the Editors. - Tomás Recio; Manfred Kerber (J. Symb. Comput., 2001)

Towards Solving the Dynamic Geometry Bottleneck Via a Symbolic Approach. - Francisco Botana; Tomás Recio (Automated Deduction in Geometry, 2004)

Where the Truth Lies (in Automatic Theorem Proving in Elementary Geometry). - Tomás Recio; Francisco Botana (ICCSA (2), 2004)

From hypercircles to units. - Tomás Recio; J. Rafael Sendra; Carlos Villarino (ISSAC, 2004)

Review of "Computational Commutative Algebra I by Martin Kreuzer and Lorenzo Robbiano", Springer Verlag, 2000, ISBN 3-540-67733-X. - Laureano González-Vega; Tomás Recio (SIGSAM Bull., 2004)

Automatic Discovery of Geometry Theorems Using Minimal Canonical Comprehensive Gröbner Systems. - Antonio Montes; Tomás Recio (Automated Deduction in Geometry, 2006)

Plotting missing points and branches of real parametric curves. - Carlos Andradas; Tomás Recio (Appl. Algebra Eng. Commun. Comput., 2007)

Foreword from the Editors. - Alicia Dickenstein; Patrizia Gianni; Tomás Recio (J. Symb. Comput., 2007)

On Protocols for the Automated Discovery of Theorems in Elementary Geometry. - Giorgio Dalzotto; Tomás Recio (J. Autom. Reason., 2009)

On the simplification of the coefficients of a parametrization. - Carlos Andradas; Tomás Recio; J. Rafael Sendra; Luis Felipe Tabera (J. Symb. Comput., 2009)

Generalizing circles over algebraic extensions. - Tomás Recio; J. Rafael Sendra; Luis Felipe Tabera; Carlos Villarino (Math. Comput., 2010)

Teaching Geometry with TutorMates. - María José González; Julio Rubio 001; Tomás Recio; Laureano González-Vega; Abel Pascual (ICCSA (4), 2011)

Equal Bisectors at a Vertex of a Triangle. - R. Losada; Tomás Recio; José L. Valcarce (ICCSA (4), 2011)

Proper real reparametrization of rational ruled surfaces. - Carlos Andradas; Tomás Recio; Luis Felipe Tabera; J. Rafael Sendra; Carlos Villarino (Comput. Aided Geom. Des., 2011)

Algorithmic detection of hypercircles. - Tomás Recio; J. Rafael Sendra; Luis Felipe Tabera; Carlos Villarino (Math. Comput. Simul., 2011)

Software Using the Gröbner Cover for Geometrical Loci Computation and Classification. - Miguel A. Abánades; Francisco Botana; Antonio Montes; Tomás Recio (ICMS, 2014)

Using Maple's RegularChains Library to Automatically Classify Plane Geometric Loci. - Francisco Botana; Tomás Recio (ICMS, 2014)

Reparametrizing swung surfaces over the reals. - Carlos Andradas; Tomás Recio; J. Rafael Sendra; Luis Felipe Tabera; Carlos Villarino (Appl. Algebra Eng. Commun. Comput., 2014)

Ultraquadrics associated to affine and projective automorphisms. - Tomás Recio; Luis Felipe Tabera; J. Rafael Sendra; Carlos Villarino (Appl. Algebra Eng. Commun. Comput., 2014)

An algebraic taxonomy for locus computation in dynamic geometry. - Miguel A. Abánades; Francisco Botana; Antonio Montes; Tomás Recio (Comput. Aided Des., 2014)

Generalizing the Steiner-Lehmus theorem using the Gröbner cover. - Antonio Montes; Tomás Recio (Math. Comput. Simul., 2014)

Factoring analytic multivariate polynomials and non-standard Cauchy-Riemann conditions. - Tomás Recio; J. Rafael Sendra; Luis Felipe Tabera; Carlos Villarino (Math. Comput. Simul., 2014)

Automated Theorem Proving in GeoGebra: Current Achievements. - Francisco Botana; Markus Hohenwarter; Predrag Janicic; Zoltán Kovács; Ivan Petrovic; Tomás Recio; Simon Weitzhofer (J. Autom. Reason., 2015)

Towards the Automatic Discovery of Theorems in GeoGebra. - Miguel A. Abánades; Francisco Botana; Zoltán Kovács; Tomás Recio; Csilla Sólyom-Gecse (ICMS, 2016)

Development of automatic reasoning tools in GeoGebra. - Miguel A. Abánades; Francisco Botana; Zoltán Kovács; Tomás Recio; Csilla Sólyom-Gecse (ACM Commun. Comput. Algebra, 2016)

On tubular vs. swung surfaces. - Tomás Recio; J. Rafael Sendra; Luis Felipe Tabera; Carlos Villarino (J. Symb. Comput., 2016)

Some issues on the automatic computation of plane envelopes in interactive environments. - Francisco Botana; Tomás Recio (Math. Comput. Simul., 2016)

On the Unavoidable Uncertainty of Truth in Dynamic Geometry Proving. - Francisco Botana; Tomás Recio (Math. Comput. Sci., 2016)

Computing envelopes in dynamic geometry environments. - Francisco Botana; Tomás Recio (Ann. Math. Artif. Intell., 2017)

Towards an Automated Geometer. - Francisco Botana; Zoltán Kovács; Tomás Recio (AISC, 2018)

The Importance of Being Zero. - Tomás Recio; J. Rafael Sendra; Carlos Villarino (ISSAC, 2018)

Detecting truth on components. - Zoltán Kovács; Tomás Recio; M. Pilar Vélez (CoRR, 2018)

Rewriting input expressions in complex algebraic geometry provers. - Zoltán Kovács; Tomás Recio; Csilla Sólyom-Gecse (Ann. Math. Artif. Intell., 2019)

On the evaluation of research software: the CDUR procedure. - Teresa Gomez-Diaz; Tomás Recio (F1000Research, 2019)

A Proposal for the Automatic Computation of Envelopes of Families of Plane Curves. - Francisco Botana; Tomás Recio (J. Syst. Sci. Complex., 2019)

Merging Maple and GeoGebra Automated Reasoning Tools. - Zoltán Kovács; Tomás Recio; M. Pilar Vélez (MC, 2020)

A policy and legal Open Science framework: a proposal. - Teresa Gomez-Diaz; Tomás Recio (CoRR, 2020)

Special issue on dynamic geometry and automated reasoning. - Francisco Botana; Zoltán Kovács; Tomás Recio (J. Symb. Comput., 2020)

Reasoning about linkages with dynamic geometry. - Zoltán Kovács; Tomás Recio; M. Pilar Vélez (J. Symb. Comput., 2020)

Automated reasoning tools in GeoGebra discovery. - Zoltán Kovács; Tomás Recio; M. Pilar Vélez (ACM Commun. Comput. Algebra, 2021)

Open comments on the Task Force SIRS report: Scholarly Infrastructures for Research Software (EOSC Executive Board, EOSCArchitecture). - Teresa Gomez-Diaz; Tomás Recio (CoRR, 2021)

GeoGebra Discovery in Context. - Zoltán Kovács; Tomás Recio; M. Pilar Vélez (ADG, 2021)

A Mechanical Geometer. - Francisco Botana; Zoltán Kovács; Tomás Recio (Math. Comput. Sci., 2021)

A web version of Tarski, a system for computing with Tarski formulas and semialgebraic sets. - Zoltán Kovács; Christopher W. Brown 001; Tomás Recio; Róbert Vajda (SYNASC, 2022)

Niagara Falls and the Origins of Computer Algebra. - M. Pilar Vélez; Tomás Recio; Carlos Ueno (Maple Trans., 2022)

Is Computer Algebra Ready for Conjecturing and Proving Geometric Inequalities in the Classroom? - Christopher W. Brown 001; Zoltán Kovács; Tomás Recio; Róbert Vajda; M. Pilar Vélez (Math. Comput. Sci., 2022)

Towards Detection of Partial Truth via Real Geometry. - Christopher W. Brown 001; Zoltán Kovács; Simone Luksch; Tomás Recio; Róbert Vajda; M. Pilar Vélez (SC-Square@ISSAC, 2023)

Showing Proofs, Assessing Difficulty with GeoGebra Discovery. - Zoltán Kovács; Tomás Recio; M. Pilar Vélez (ADG, 2023)

Solving with GeoGebra Discovery an Austrian Mathematics Olympiad problem: Lessons Learned. - Belén Ariño-Morera; Zoltán Kovács; Tomás Recio; Piedad Tolmos (ADG, 2023)

Articles, software, data: An Open Science ethological study. - Teresa Gomez-Diaz; Tomás Recio (Maple Trans., 2023)

Faithful Real-Time Animation of Parametrized (Semi-) Algebraic Expressions via Cylindrical Algebraic Decomposition. - Christopher W. Brown 001; Zoltán Kovács; Tomás Recio (ACM Commun. Comput. Algebra, 2023)

The Conundrum Challenges for Research Software in Open Science. - Teresa Gomez-Diaz; Tomás Recio (Comput., 2024)

Efficient isochronous fixed-weight sampling with applications to NTRU. - Décio Luiz Gazzoni Filho; Tomás Recio; Julio López 002 (IACR Cryptol. ePrint Arch., 2024)

Computing with Tarski formulas and semi-algebraic sets in a web browser. - Zoltán Kovács; Christopher W. Brown 001; Tomás Recio; Róbert Vajda (J. Symb. Comput., 2024)

From Thales Theorem to octic curves:: An illustrative journey, with the concourse of Computer Algebra and Dynamic Geometry software, through the uncertain territory of locus computation. - Tomás Recio; Thierry N. Dana-Picard (Maple Trans., 2024)

Geometric Loci and ChatGPT: Caveat Emptor! - Francisco Botana; Tomás Recio (Comput., 2024)

The ShowProof Command in GeoGebra Discovery: Towards the Automated Ranking of Elementary Geometry Theorems. - Zoltán Kovács; Bernard Parisse; Tomás Recio; M. Pilar Vélez; Jonathan H. Yu (ACM Commun. Comput. Algebra, 2024)

On Using GeoGebra and ChatGPT for Geometric Discovery. - Francisco Botana; Tomás Recio; M. Pilar Vélez (Comput., 2024)

Perceptions on the adoption of Free/Open Source Software policies by a Scientific Institution: The case study of the NIH. - Teresa Gomez-Diaz; Tomás Recio (Maple Trans., 2025)

Symbolic Mathematical Computation 1965-1975: The View from a Half-Century Perspective. - Robert M. Corless; Arthur C. Norman; Tomás Recio; William J. Turkel; Stephen M. Watt (CoRR, 2025)