Tomás Recio - RankMe

92 papers B 9Misc 2Journal 62Unranked 18

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	A Real Mechanical Geometer. Maple Trans. Tomás Recio, M. Pilar Vélez
2026	J	`jnl`	Matrices and Polynomials In Computer Algebra: LALO60. Maple Trans. Marc Moreno Maza, Tomás Recio
2025	J	`jnl`	Automated analysis of the difficulty of secondary school geometry theorems. Ann. Math. Artif. Intell. Soma Bartha, András Kerekes, Zoltán Kovács, Tomás Recio
2025	J	`jnl`	On automated completion of geometry statements and proofs with GeoGebra Discovery. Ann. Math. Artif. Intell. Zoltán Kovács, Tomás Recio, M. Pilar Vélez
2025	J	`jnl`	Perceptions on the adoption of Free/Open Source Software policies by a Scientific Institution: The case study of the NIH. Maple Trans. Teresa Gomez-Diaz, Tomás Recio
2025	B	`conf`	Symbolic Mathematical Computation 1965-1975: The View from a Half-Century Perspective. ISSAC Robert M. Corless, Arthur C. Norman, Tomás Recio, William J. Turkel, Stephen M. Watt
2025	J	`jnl`	Symbolic Mathematical Computation 1965-1975: The View from a Half-Century Perspective. CoRR Robert M. Corless, Arthur C. Norman, Tomás Recio, William J. Turkel, Stephen M. Watt
2024	J	`jnl`	A Computational Approach to the Perimeter-Area Inequality in a Triangle. Axioms Tomás Recio, Carlos Ueno, M. Pilar Vélez
2024	J	`jnl`	Computing with Tarski formulas and semi-algebraic sets in a web browser. J. Symb. Comput. Zoltán Kovács, Christopher W. Brown, Tomás Recio, Róbert Vajda
2024	J	`jnl`	Efficient isochronous fixed-weight sampling with applications to NTRU. IACR Cryptol. ePrint Arch. Décio Luiz Gazzoni Filho, Tomás Recio, Julio López
2024	J	`jnl`	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. Maple Trans. Tomás Recio, Thierry N. Dana-Picard
2024	J	`jnl`	Geometric Loci and ChatGPT: Caveat Emptor! Comput. Francisco Botana, Tomás Recio
2024	J	`jnl`	On Using GeoGebra and ChatGPT for Geometric Discovery. Comput. Francisco Botana, Tomás Recio, M. Pilar Vélez
2024	J	`jnl`	The Conundrum Challenges for Research Software in Open Science. Comput. Teresa Gomez-Diaz, Tomás Recio
2024	J	`jnl`	The ShowProof Command in ACM Commun. Comput. Algebra Zoltán Kovács, Bernard Parisse, Tomás Recio, M. Pilar Vélez, Jonathan H. Yu
2023	J	`jnl`	Articles, software, data: An Open Science ethological study. Maple Trans. Teresa Gomez-Diaz, Tomás Recio
2023	J	`jnl`	Faithful Real-Time Animation of Parametrized (Semi-) Algebraic Expressions via Cylindrical Algebraic Decomposition. ACM Commun. Comput. Algebra Christopher W. Brown, Zoltán Kovács, Tomás Recio
2023	—	`conf`	Showing Proofs, Assessing Difficulty with GeoGebra Discovery. ADG Zoltán Kovács, Tomás Recio, M. Pilar Vélez
2023	—	`conf`	Solving with GeoGebra Discovery an Austrian Mathematics Olympiad problem: Lessons Learned. ADG Belén Ariño-Morera, Zoltán Kovács, Tomás Recio, Piedad Tolmos
2023	—	`conf`	Towards Detection of Partial Truth via Real Geometry. SC-Square@ISSAC Christopher W. Brown, Zoltán Kovács, Simone Luksch, Tomás Recio, Róbert Vajda, M. Pilar Vélez
2022	Misc	`conf`	A web version of Tarski, a system for computing with Tarski formulas and semialgebraic sets. SYNASC Zoltán Kovács, Christopher W. Brown, Tomás Recio, Róbert Vajda
2022	J	`jnl`	Is Computer Algebra Ready for Conjecturing and Proving Geometric Inequalities in the Classroom? Math. Comput. Sci. Christopher W. Brown, Zoltán Kovács, Tomás Recio, Róbert Vajda, M. Pilar Vélez
2022	J	`jnl`	Niagara Falls and the Origins of Computer Algebra. Maple Trans. M. Pilar Vélez, Tomás Recio, Carlos Ueno
2021	J	`jnl`	A Mechanical Geometer. Math. Comput. Sci. Francisco Botana, Zoltán Kovács, Tomás Recio
2021	J	`jnl`	Automated reasoning tools in GeoGebra discovery. ACM Commun. Comput. Algebra Zoltán Kovács, Tomás Recio, M. Pilar Vélez
2021	—	`conf`	GeoGebra Discovery in Context. ADG Zoltán Kovács, Tomás Recio, M. Pilar Vélez
2021	J	`jnl`	On the evaluation of research software: the CDUR procedure. CoRR Teresa Gomez-Diaz, Tomás Recio
2021	J	`jnl`	Open comments on the Task Force SIRS report: Scholarly Infrastructures for Research Software (EOSC Executive Board, EOSCArchitecture). CoRR Teresa Gomez-Diaz, Tomás Recio
2020	J	`jnl`	A policy and legal Open Science framework: a proposal. CoRR Teresa Gomez-Diaz, Tomás Recio
2020	—	`conf`	Merging Maple and GeoGebra Automated Reasoning Tools. MC Zoltán Kovács, Tomás Recio, M. Pilar Vélez
2020	J	`jnl`	Reasoning about linkages with dynamic geometry. J. Symb. Comput. Zoltán Kovács, Tomás Recio, M. Pilar Vélez
2020	J	`jnl`	Special issue on dynamic geometry and automated reasoning. J. Symb. Comput. Francisco Botana, Zoltán Kovács, Tomás Recio
2019	J	`jnl`	A Proposal for the Automatic Computation of Envelopes of Families of Plane Curves. J. Syst. Sci. Complex. Francisco Botana, Tomás Recio
2019	J	`jnl`	On the evaluation of research software: the CDUR procedure. F1000Research Teresa Gomez-Diaz, Tomás Recio
2019	J	`jnl`	Rewriting input expressions in complex algebraic geometry provers. Ann. Math. Artif. Intell. Zoltán Kovács, Tomás Recio, Csilla Sólyom-Gecse
2018	J	`jnl`	Detecting truth on components. CoRR Zoltán Kovács, Tomás Recio, M. Pilar Vélez
2018	B	`conf`	The Importance of Being Zero. ISSAC Tomás Recio, J. Rafael Sendra, Carlos Villarino
2018	Misc	`conf`	Towards an Automated Geometer. AISC Francisco Botana, Zoltán Kovács, Tomás Recio
2017	J	`jnl`	Computing envelopes in dynamic geometry environments. Ann. Math. Artif. Intell. Francisco Botana, Tomás Recio
2016	J	`jnl`	Development of automatic reasoning tools in GeoGebra. ACM Commun. Comput. Algebra Miguel A. Abánades, Francisco Botana, Zoltán Kovács, Tomás Recio, Csilla Sólyom-Gecse
2016	J	`jnl`	On the Unavoidable Uncertainty of Truth in Dynamic Geometry Proving. Math. Comput. Sci. Francisco Botana, Tomás Recio
2016	J	`jnl`	On tubular vs. swung surfaces. J. Symb. Comput. Tomás Recio, J. Rafael Sendra, Luis Felipe Tabera, Carlos Villarino
2016	J	`jnl`	Some issues on the automatic computation of plane envelopes in interactive environments. Math. Comput. Simul. Francisco Botana, Tomás Recio
2016	—	`conf`	Towards the Automatic Discovery of Theorems in GeoGebra. ICMS Miguel A. Abánades, Francisco Botana, Zoltán Kovács, Tomás Recio, Csilla Sólyom-Gecse
2015	J	`jnl`	Automated Theorem Proving in GeoGebra: Current Achievements. J. Autom. Reason. Francisco Botana, Markus Hohenwarter, Predrag Janicic, Zoltán Kovács, Ivan Petrovic, Tomás Recio, Simon Weitzhofer
2014	J	`jnl`	An algebraic taxonomy for locus computation in dynamic geometry. Comput. Aided Des. Miguel A. Abánades, Francisco Botana, Antonio Montes, Tomás Recio
2014	J	`jnl`	Factoring analytic multivariate polynomials and non-standard Cauchy-Riemann conditions. Math. Comput. Simul. Tomás Recio, J. Rafael Sendra, Luis Felipe Tabera, Carlos Villarino
2014	J	`jnl`	Generalizing the Steiner-Lehmus theorem using the Gröbner cover. Math. Comput. Simul. Antonio Montes, Tomás Recio
2014	J	`jnl`	Reparametrizing swung surfaces over the reals. Appl. Algebra Eng. Commun. Comput. Carlos Andradas, Tomás Recio, J. Rafael Sendra, Luis Felipe Tabera, Carlos Villarino
2014	—	`conf`	Software Using the Gröbner Cover for Geometrical Loci Computation and Classification. ICMS Miguel A. Abánades, Francisco Botana, Antonio Montes, Tomás Recio
2014	J	`jnl`	Ultraquadrics associated to affine and projective automorphisms. Appl. Algebra Eng. Commun. Comput. Tomás Recio, Luis Felipe Tabera, J. Rafael Sendra, Carlos Villarino
2014	—	`conf`	Using Maple's RegularChains Library to Automatically Classify Plane Geometric Loci. ICMS Francisco Botana, Tomás Recio
2011	J	`jnl`	Algorithmic detection of hypercircles. Math. Comput. Simul. Tomás Recio, J. Rafael Sendra, Luis Felipe Tabera, Carlos Villarino
2011	—	`conf`	Equal Bisectors at a Vertex of a Triangle. ICCSA (4) R. Losada, Tomás Recio, José L. Valcarce
2011	J	`jnl`	Proper real reparametrization of rational ruled surfaces. Comput. Aided Geom. Des. Carlos Andradas, Tomás Recio, Luis Felipe Tabera, J. Rafael Sendra, Carlos Villarino
2011	—	`conf`	Teaching Geometry with TutorMates. ICCSA (4) María José González, Julio Rubio, Tomás Recio, Laureano González-Vega, Abel Pascual
2010	J	`jnl`	Generalizing circles over algebraic extensions. Math. Comput. Tomás Recio, J. Rafael Sendra, Luis Felipe Tabera, Carlos Villarino
2009	J	`jnl`	On Protocols for the Automated Discovery of Theorems in Elementary Geometry. J. Autom. Reason. Giorgio Dalzotto, Tomás Recio
2009	J	`jnl`	On the simplification of the coefficients of a parametrization. J. Symb. Comput. Carlos Andradas, Tomás Recio, J. Rafael Sendra, Luis Felipe Tabera
2007	—	`ed.`	Automated Deduction in Geometry, 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006. Revised Papers Automated Deduction in Geometry Francisco Botana, Tomás Recio
2007	J	`jnl`	Foreword from the Editors. J. Symb. Comput. Alicia Dickenstein, Patrizia Gianni, Tomás Recio
2007	J	`jnl`	Plotting missing points and branches of real parametric curves. Appl. Algebra Eng. Commun. Comput. Carlos Andradas, Tomás Recio
2006	—	`conf`	Automatic Discovery of Geometry Theorems Using Minimal Canonical Comprehensive Gröbner Systems. Automated Deduction in Geometry Antonio Montes, Tomás Recio
2004	B	`conf`	From hypercircles to units. ISSAC Tomás Recio, J. Rafael Sendra, Carlos Villarino
2004	J	`jnl`	Review of "Computational Commutative Algebra I by Martin Kreuzer and Lorenzo Robbiano", Springer Verlag, 2000, ISBN 3-540-67733-X. SIGSAM Bull. Laureano González-Vega, Tomás Recio
2004	—	`conf`	Towards Solving the Dynamic Geometry Bottleneck Via a Symbolic Approach. Automated Deduction in Geometry Francisco Botana, Tomás Recio
2004	—	`conf`	Where the Truth Lies (in Automatic Theorem Proving in Elementary Geometry). ICCSA (2) Tomás Recio, Francisco Botana
2001	J	`jnl`	Computer Algebra and Mechanized Reasoning: Selected St. Andrews' ISSAC/Calculemus 2000 Contributions - Foreword from the Editors. J. Symb. Comput. Tomás Recio, Manfred Kerber
1999	J	`jnl`	Automatic Discovery of Theorems in Elementary Geometry. J. Autom. Reason. Tomás Recio, M. Pilar Vélez
1999	B	`conf`	Base Field Restriction Techniques for Parametric Curves. ISSAC Carlos Andradas, Tomás Recio, J. Rafael Sendra
1999	J	`jnl`	Computing Weil's descente variety. SIGSAM Bull. Tomás Recio
1998	J	`jnl`	Advances on the Simplification of Sine-Cosine Equations. J. Symb. Comput. Jaime Gutierrez, Tomás Recio
1997	B	`conf`	A Relatively Optimal Rational Space Curve Reparametrization Algorithm Through Canonical Divisors. ISSAC Carlos Andradas, Tomás Recio, J. Rafael Sendra
1997	J	`jnl`	Real Reparametrizations of Real Curves. J. Symb. Comput. Tomás Recio, J. Rafael Sendra
1997	J	`jnl`	Voronoi Diagrams on Orbifolds. Comput. Geom. Marisa Mazón, Tomás Recio
1996	J	`jnl`	Geometry of bisectors for strictly convex distances. Int. J. Comput. Geom. Appl. A. Corbalan, Marisa Mazón, Tomás Recio
1995	J	`jnl`	A Rational Function Decomposition Algorithm by Near-Separated Polynomials. J. Symb. Comput. Cesar Alonso, Jaime Gutierrez, Tomás Recio
1995	J	`jnl`	An implicitization algorithm with fewer variables. Comput. Aided Geom. Des. Cesar Alonso, Jaime Gutierrez, Tomás Recio
1995	J	`jnl`	Reconsidering algorithms for real parametric curves. Appl. Algebra Eng. Commun. Comput. Cesar Alonso, Jaime Gutierrez, Tomás Recio
1994	J	`jnl`	A Note on Rabin's Width of a Complete Proof. Comput. Complex. José Luis Montaña, Luis Miguel Pardo, Tomás Recio
1994	B	`conf`	On the Symbolic Insimplification of the General 6R-Manipulator Kinematic Equations. ISSAC Tomás Recio, M. J. González-López
1994	J	`jnl`	Spécialisation de la suite de Sturm. RAIRO Theor. Informatics Appl. Laureano González-Vega, Henri Lombardi, Tomás Recio, Marie-Françoise Roy
1993	—	`conf`	On the Topological Shape of Planar Voronoi Diagrams. SCG A. Corbalan, Marisa Mazón, Tomás Recio, Francisco Santos
1993	J	`jnl`	Path Tracking in Motion Planning. Comput. J. M. J. González-López, Tomás Recio
1992	B	`conf`	A Practical Implementation of Two Rational Function Decomposition Algorithms. ISSAC Jaime Gutierrez, Tomás Recio
1992	B	`conf`	Rational Function Decomposition and Gröbner Bases in the Parameterization of Plane Curves (An extended abstract). LATIN Jaime Gutierrez, Tomás Recio
1990	—	`conf`	Algorithms in Real Algebraic Geometry and Applications to Computational Geometry. Discrete and Computational Geometry Joos Heintz, Tomás Recio, Marie-Françoise Roy
1990	J	`jnl`	Spécialisation de la suite de Sturm et sous-résulants. RAIRO Theor. Informatics Appl. Laureano González-Vega, Henri Lombardi, Tomás Recio, Marie-Françoise Roy
1989	B	`conf`	Sturm-Habicht Sequence. ISSAC Laureano González, Henri Lombardi, Tomás Recio, Marie-Françoise Roy
1988	—	`conf`	Polynomial Decomposition Algorithm of Almost Quadratic Complexity. AAECC Jaime Gutierrez, Tomás Recio, C. Ruiz de Velasco
1987	—	`conf`	On the Computation of the Local and Global Analytic Branches of a Real Algebraic Curve. AAECC Felipe Cucker, Luis Miguel Pardo, Mario Raimondo, Tomás Recio, Marie-Françoise Roy
1987	—	`conf`	Rabin's width of a complete proof and the width of a semialgebraic set. EUROCAL Tomás Recio, Luis Miguel Pardo