Tomás Recio

Publication Activity (10 Years)

Years Active: 1987-2024
Publications (10 Years): 32

Top Topics

Algebraic Expressions

Automatically Classify

Automated Reasoning

Top Venues

J. Symb. Comput.

Math. Comput. Sci.

Math. Comput. Simul.

Publications

Francisco Botana, Tomás Recio
Geometric Loci and ChatGPT: Caveat Emptor! Comput. 12 (2) (2024)
Zoltán Kovács, Tomás Recio, M. Pilar Vélez
Showing Proofs, Assessing Difficulty with GeoGebra Discovery. CoRR (2024)
Belén Ariño-Morera, Zoltán Kovács, Tomás Recio, Piedad Tolmos
Solving with GeoGebra Discovery an Austrian Mathematics Olympiad problem: Lessons Learned. CoRR (2024)
Zoltán Kovács, Christopher W. Brown, Tomás Recio, Róbert Vajda
Computing with Tarski formulas and semi-algebraic sets in a web browser. J. Symb. Comput. 120 (2024)
Décio Luiz Gazzoni Filho, Tomás Recio, Julio López
Efficient isochronous fixed-weight sampling with applications to NTRU. IACR Cryptol. ePrint Arch. 2024 (2024)
Christopher W. Brown, Zoltán Kovács, Simone Luksch, Tomás Recio, Róbert Vajda, M. Pilar Vélez
Towards Detection of Partial Truth via Real Geometry. SC-Square@ISSAC (2023)
Teresa Gomez-Diaz, Tomás Recio
Articles, software, data: An Open Science ethological study. Maple Trans. 3 (4) (2023)
Christopher W. Brown, Zoltán Kovács, Tomás Recio
Faithful Real-Time Animation of Parametrized (Semi-) Algebraic Expressions via Cylindrical Algebraic Decomposition. ACM Commun. Comput. Algebra 57 (2) (2023)
Zoltán Kovács, Christopher W. Brown, Tomás Recio, Róbert Vajda
A web version of Tarski, a system for computing with Tarski formulas and semialgebraic sets. SYNASC (2022)
Christopher W. Brown, Zoltán Kovács, Tomás Recio, Róbert Vajda, M. Pilar Vélez
Is Computer Algebra Ready for Conjecturing and Proving Geometric Inequalities in the Classroom? Math. Comput. Sci. 16 (4) (2022)
Zoltán Kovács, Tomás Recio, M. Pilar Vélez
GeoGebra Discovery in Context. CoRR (2022)
M. Pilar Vélez, Tomás Recio, Carlos Ueno
Niagara Falls and the Origins of Computer Algebra. Maple Trans. 2 (1) (2022)
Teresa Gomez-Diaz, Tomás Recio
On the evaluation of research software: the CDUR procedure. CoRR (2021)
Francisco Botana, Zoltán Kovács, Tomás Recio
A Mechanical Geometer. Math. Comput. Sci. 15 (4) (2021)
Zoltán Kovács, Tomás Recio, M. Pilar Vélez
Automated reasoning tools in GeoGebra discovery. ACM Commun. Comput. Algebra 55 (2) (2021)
Teresa Gomez-Diaz, Tomás Recio
Open comments on the Task Force SIRS report: Scholarly Infrastructures for Research Software (EOSC Executive Board, EOSCArchitecture). CoRR (2021)
Teresa Gomez-Diaz, Tomás Recio
A policy and legal Open Science framework: a proposal. CoRR (2020)
Zoltán Kovács, Tomás Recio, M. Pilar Vélez
Reasoning about linkages with dynamic geometry. J. Symb. Comput. 97 (2020)
Zoltán Kovács, Tomás Recio, M. Pilar Vélez
Merging Maple and GeoGebra Automated Reasoning Tools. MC (2020)
Francisco Botana, Zoltán Kovács, Tomás Recio
Special issue on dynamic geometry and automated reasoning. J. Symb. Comput. 97 (2020)
Zoltán Kovács, Tomás Recio, Csilla Sólyom-Gecse
Rewriting input expressions in complex algebraic geometry provers. Ann. Math. Artif. Intell. 85 (2-4) (2019)
Teresa Gomez-Diaz, Tomás Recio
On the evaluation of research software: the CDUR procedure. F1000Research 8 (2019)
Francisco Botana, Tomás Recio
A Proposal for the Automatic Computation of Envelopes of Families of Plane Curves. J. Syst. Sci. Complex. 32 (1) (2019)
Tomás Recio, J. Rafael Sendra, Carlos Villarino
The Importance of Being Zero. ISSAC (2018)
Zoltán Kovács, Tomás Recio, M. Pilar Vélez
Detecting truth on components. CoRR (2018)
Francisco Botana, Zoltán Kovács, Tomás Recio
Towards an Automated Geometer. AISC (2018)
Francisco Botana, Tomás Recio
Computing envelopes in dynamic geometry environments. Ann. Math. Artif. Intell. 80 (1) (2017)
Francisco Botana, Tomás Recio
On the Unavoidable Uncertainty of Truth in Dynamic Geometry Proving. Math. Comput. Sci. 10 (1) (2016)
Francisco Botana, Tomás Recio
Some issues on the automatic computation of plane envelopes in interactive environments. Math. Comput. Simul. 125 (2016)
Miguel A. Abánades, Francisco Botana, Zoltán Kovács, Tomás Recio, Csilla Sólyom-Gecse
Towards the Automatic Discovery of Theorems in GeoGebra. ICMS (2016)
Tomás Recio, J. Rafael Sendra, Luis Felipe Tabera, Carlos Villarino
On tubular vs. swung surfaces. J. Symb. Comput. 72 (2016)
Miguel A. Abánades, Francisco Botana, Zoltán Kovács, Tomás Recio, Csilla Sólyom-Gecse
Development of automatic reasoning tools in GeoGebra. ACM Commun. Comput. Algebra 50 (3) (2016)
Francisco Botana, Markus Hohenwarter, Predrag Janicic, Zoltán Kovács, Ivan Petrovic, Tomás Recio, Simon Weitzhofer
Automated Theorem Proving in GeoGebra: Current Achievements. J. Autom. Reason. 55 (1) (2015)
Tomás Recio, J. Rafael Sendra, Luis Felipe Tabera, Carlos Villarino
Factoring analytic multivariate polynomials and non-standard Cauchy-Riemann conditions. Math. Comput. Simul. 104 (2014)
Miguel A. Abánades, Francisco Botana, Antonio Montes, Tomás Recio
Software Using the Gröbner Cover for Geometrical Loci Computation and Classification. ICMS (2014)
Antonio Montes, Tomás Recio
Generalizing the Steiner-Lehmus theorem using the Gröbner cover. Math. Comput. Simul. 104 (2014)
Carlos Andradas, Tomás Recio, J. Rafael Sendra, Luis Felipe Tabera, Carlos Villarino
Reparametrizing swung surfaces over the reals. Appl. Algebra Eng. Commun. Comput. 25 (1-2) (2014)
Francisco Botana, Tomás Recio
Using Maple's RegularChains Library to Automatically Classify Plane Geometric Loci. ICMS (2014)
Miguel A. Abánades, Francisco Botana, Antonio Montes, Tomás Recio
An algebraic taxonomy for locus computation in dynamic geometry. Comput. Aided Des. 56 (2014)
Tomás Recio, Luis Felipe Tabera, J. Rafael Sendra, Carlos Villarino
Ultraquadrics associated to affine and projective automorphisms. Appl. Algebra Eng. Commun. Comput. 25 (6) (2014)
Carlos Andradas, Tomás Recio, Luis Felipe Tabera, J. Rafael Sendra, Carlos Villarino
Proper real reparametrization of rational ruled surfaces. Comput. Aided Geom. Des. 28 (2) (2011)
R. Losada, Tomás Recio, José L. Valcarce
Equal Bisectors at a Vertex of a Triangle. ICCSA (4) (2011)
Tomás Recio, J. Rafael Sendra, Luis Felipe Tabera, Carlos Villarino
Algorithmic detection of hypercircles. Math. Comput. Simul. 82 (1) (2011)
María José González, Julio Rubio, Tomás Recio, Laureano González-Vega, Abel Pascual
Teaching Geometry with TutorMates. ICCSA (4) (2011)
Tomás Recio, J. Rafael Sendra, Luis Felipe Tabera, Carlos Villarino
Generalizing circles over algebraic extensions. Math. Comput. 79 (270) (2010)
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) (2009)
Giorgio Dalzotto, Tomás Recio
On Protocols for the Automated Discovery of Theorems in Elementary Geometry. J. Autom. Reason. 43 (2) (2009)
Carlos Andradas, Tomás Recio
Plotting missing points and branches of real parametric curves. Appl. Algebra Eng. Commun. Comput. 18 (1-2) (2007)
Alicia Dickenstein, Patrizia Gianni, Tomás Recio
Foreword from the Editors. J. Symb. Comput. 42 (1-2) (2007)
Antonio Montes, Tomás Recio
Automatic Discovery of Geometry Theorems Using Minimal Canonical Comprehensive Gröbner Systems. Automated Deduction in Geometry (2006)
Francisco Botana, Tomás Recio
Towards Solving the Dynamic Geometry Bottleneck Via a Symbolic Approach. Automated Deduction in Geometry (2004)
Laureano González-Vega, Tomás Recio
Review of "Computational Commutative Algebra I by Martin Kreuzer and Lorenzo Robbiano", Springer Verlag, 2000, ISBN 3-540-67733-X. SIGSAM Bull. 38 (2) (2004)
Tomás Recio, J. Rafael Sendra, Carlos Villarino
From hypercircles to units. ISSAC (2004)
Tomás Recio, Francisco Botana
Where the Truth Lies (in Automatic Theorem Proving in Elementary Geometry). ICCSA (2) (2004)
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) (2001)
Tomás Recio
Computing Weil's descente variety. SIGSAM Bull. 33 (3) (1999)
Carlos Andradas, Tomás Recio, J. Rafael Sendra
Base Field Restriction Techniques for Parametric Curves. ISSAC (1999)
Tomás Recio, M. Pilar Vélez
Automatic Discovery of Theorems in Elementary Geometry. J. Autom. Reason. 23 (1) (1999)
Jaime Gutierrez, Tomás Recio
Advances on the Simplification of Sine-Cosine Equations. J. Symb. Comput. 26 (1) (1998)
Tomás Recio, J. Rafael Sendra
Real Reparametrizations of Real Curves. J. Symb. Comput. 23 (2/3) (1997)
M. L. Mazón, Tomás Recio
Voronoi Diagrams on Orbifolds. Comput. Geom. 8 (1997)
Carlos Andradas, Tomás Recio, J. Rafael Sendra
A Relatively Optimal Rational Space Curve Reparametrization Algorithm Through Canonical Divisors. ISSAC (1997)
A. Corbalan, M. L. Mazón, Tomás Recio
Geometry of bisectors for strictly convex distances. Int. J. Comput. Geom. Appl. 6 (1) (1996)
Cesar Alonso, Jaime Gutierrez, Tomás Recio
Reconsidering algorithms for real parametric curves. Appl. Algebra Eng. Commun. Comput. 6 (6) (1995)
Cesar Alonso, Jaime Gutierrez, Tomás Recio
An implicitization algorithm with fewer variables. Comput. Aided Geom. Des. 12 (3) (1995)
Cesar Alonso, Jaime Gutierrez, Tomás Recio
A Rational Function Decomposition Algorithm by Near-Separated Polynomials. J. Symb. Comput. 19 (6) (1995)
José Luis Montaña, Luis Miguel Pardo, Tomás Recio
A Note on Rabin's Width of a Complete Proof. Comput. Complex. 4 (1994)
Tomás Recio, M. J. González-López
On the Symbolic Insimplification of the General 6R-Manipulator Kinematic Equations. ISSAC (1994)
Laureano González-Vega, Henri Lombardi, Tomás Recio, Marie-Françoise Roy
Spécialisation de la suite de Sturm. RAIRO Theor. Informatics Appl. 28 (1) (1994)
A. Corbalan, M. L. Mazón, Tomás Recio, Francisco Santos
On the Topological Shape of Planar Voronoi Diagrams. SCG (1993)
M. J. González-López, Tomás Recio
Path Tracking in Motion Planning. Comput. J. 36 (5) (1993)
Jaime Gutierrez, Tomás Recio
A Practical Implementation of Two Rational Function Decomposition Algorithms. ISSAC (1992)
Jaime Gutierrez, Tomás Recio
Rational Function Decomposition and Gröbner Bases in the Parameterization of Plane Curves (An extended abstract). LATIN (1992)
Joos Heintz, Tomás Recio, Marie-Françoise Roy
Algorithms in Real Algebraic Geometry and Applications to Computational Geometry. Discrete and Computational Geometry (1990)
Laureano González-Vega, Henri Lombardi, Tomás Recio, Marie-Françoise Roy
Spécialisation de la suite de Sturm et sous-résulants. RAIRO Theor. Informatics Appl. 24 (1990)
L. Gonzalez, Henri Lombardi, Tomás Recio, Marie-Françoise Roy
Sturm-Habicht Sequence. ISSAC (1989)
Jaime Gutierrez, Tomás Recio, C. Ruiz de Velasco
Polynomial Decomposition Algorithm of Almost Quadratic Complexity. AAECC (1988)
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)
Tomás Recio, Luis Miguel Pardo
Rabin's width of a complete proof and the width of a semialgebraic set. EUROCAL (1987)