default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDTomás Recio
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[j46]Francisco Botana, Tomás Recio
:
Geometric Loci and ChatGPT: Caveat Emptor! Comput. 12(2): 30 (2024)- [j45]Francisco Botana, Tomás Recio, M. Pilar Vélez:
On Using GeoGebra and ChatGPT for Geometric Discovery. Comput. 13(8): 187 (2024) - [j44]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: 102235 (2024) - [i6]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: 548 (2024) - 2023
- [j43]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): 43-46 (2023) - [j42]Teresa Gomez-Diaz, Tomás Recio:
Articles, software, data: An Open Science ethological study. Maple Trans. 3(4) (2023) - [c28]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: 44-53 - [c27]Zoltán Kovács, Tomás Recio, M. Pilar Vélez:
Showing Proofs, Assessing Difficulty with GeoGebra Discovery. ADG 2023: 43-52 - [c26]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. ADG 2023: 101-109 - 2022
- [j41]M. Pilar Vélez, Tomás Recio, Carlos Ueno:
Niagara Falls and the Origins of Computer Algebra. Maple Trans. 2(1) (2022) - [j40]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): 31 (2022) - [c25]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: 59-62 - 2021
- [j39]Zoltán Kovács, Tomás Recio, M. Pilar Vélez:
Automated reasoning tools in GeoGebra discovery. ACM Commun. Comput. Algebra 55(2): 39-43 (2021) - [j38]Francisco Botana, Zoltán Kovács, Tomás Recio:
A Mechanical Geometer. Math. Comput. Sci. 15(4): 631-641 (2021) - [c24]Zoltán Kovács, Tomás Recio, M. Pilar Vélez:
GeoGebra Discovery in Context. ADG 2021: 141-147 - [i5]Teresa Gomez-Diaz, Tomás Recio:
Open comments on the Task Force SIRS report: Scholarly Infrastructures for Research Software (EOSC Executive Board, EOSCArchitecture). CoRR abs/2108.06127 (2021) - [i4]Teresa Gomez-Diaz, Tomás Recio:
On the evaluation of research software: the CDUR procedure. CoRR abs/2108.06136 (2021) - 2020
- [j37]Francisco Botana, Zoltán Kovács, Tomás Recio:
Special issue on dynamic geometry and automated reasoning. J. Symb. Comput. 97: 1-2 (2020) - [j36]Zoltán Kovács, Tomás Recio, M. Pilar Vélez:
Reasoning about linkages with dynamic geometry. J. Symb. Comput. 97: 16-30 (2020) - [c23]Zoltán Kovács, Tomás Recio, M. Pilar Vélez:
Merging Maple and GeoGebra Automated Reasoning Tools. MC 2020: 252-267 - [i3]Teresa Gomez-Diaz, Tomás Recio:
A policy and legal Open Science framework: a proposal. CoRR abs/2010.04508 (2020)
2010 – 2019
- 2019
- [j35]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): 73-87 (2019) - [j34]Francisco Botana, Tomás Recio:
A Proposal for the Automatic Computation of Envelopes of Families of Plane Curves. J. Syst. Sci. Complex. 32(1): 150-157 (2019) - [i2]Teresa Gomez-Diaz, Tomás Recio:
On the evaluation of research software: the CDUR procedure. F1000Research 8: 1353 (2019) - 2018
- [c22]Francisco Botana, Zoltán Kovács, Tomás Recio:
Towards an Automated Geometer. AISC 2018: 215-220 - [c21]Tomás Recio, J. Rafael Sendra, Carlos Villarino:
The Importance of Being Zero. ISSAC 2018: 327-333 - [i1]Zoltán Kovács, Tomás Recio, M. Pilar Vélez:
Detecting truth on components. CoRR abs/1802.05875 (2018) - 2017
- [j33]Francisco Botana, Tomás Recio:
Computing envelopes in dynamic geometry environments. Ann. Math. Artif. Intell. 80(1): 3-20 (2017) - 2016
- [j32]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): 85-88 (2016) - [j31]Tomás Recio, J. Rafael Sendra, Luis Felipe Tabera, Carlos Villarino:
On tubular vs. swung surfaces. J. Symb. Comput. 72: 55-64 (2016) - [j30]Francisco Botana, Tomás Recio:
Some issues on the automatic computation of plane envelopes in interactive environments. Math. Comput. Simul. 125: 115-125 (2016) - [j29]Francisco Botana, Tomás Recio:
On the Unavoidable Uncertainty of Truth in Dynamic Geometry Proving. Math. Comput. Sci. 10(1): 5-25 (2016) - [c20]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: 37-42 - 2015
- [j28]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): 39-59 (2015) - 2014
- [j27]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): 39-65 (2014) - [j26]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): 431-445 (2014) - [j25]Miguel A. Abánades, Francisco Botana, Antonio Montes, Tomás Recio:
An algebraic taxonomy for locus computation in dynamic geometry. Comput. Aided Des. 56: 22-33 (2014) - [j24]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: 43-57 (2014) - [j23]Antonio Montes, Tomás Recio:
Generalizing the Steiner-Lehmus theorem using the Gröbner cover. Math. Comput. Simul. 104: 67-81 (2014) - [c19]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: 492-499 - [c18]Francisco Botana, Tomás Recio:
Using Maple's RegularChains Library to Automatically Classify Plane Geometric Loci. ICMS 2014: 500-503 - 2011
- [j22]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): 102-113 (2011) - [j21]Tomás Recio, J. Rafael Sendra, Luis Felipe Tabera, Carlos Villarino:
Algorithmic detection of hypercircles. Math. Comput. Simul. 82(1): 54-67 (2011) - [c17]R. Losada, Tomás Recio, José L. Valcarce:
Equal Bisectors at a Vertex of a Triangle. ICCSA (4) 2011: 328-341 - [c16]María José González, Julio Rubio, Tomás Recio, Laureano González-Vega, Abel Pascual:
Teaching Geometry with TutorMates. ICCSA (4) 2011: 384-398 - 2010
- [j20]Tomás Recio, J. Rafael Sendra, Luis Felipe Tabera, Carlos Villarino:
Generalizing circles over algebraic extensions. Math. Comput. 79(270): 1067-1089 (2010)
2000 – 2009
- 2009
- [j19]Giorgio Dalzotto, Tomás Recio:
On Protocols for the Automated Discovery of Theorems in Elementary Geometry. J. Autom. Reason. 43(2): 203-236 (2009) - [j18]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): 192-210 (2009) - 2007
- [j17]Carlos Andradas, Tomás Recio:
Plotting missing points and branches of real parametric curves. Appl. Algebra Eng. Commun. Comput. 18(1-2): 107-126 (2007) - [j16]Alicia Dickenstein, Patrizia Gianni, Tomás Recio:
Foreword from the Editors. J. Symb. Comput. 42(1-2): 1-3 (2007) - [e1]Francisco Botana, Tomás Recio:
Automated Deduction in Geometry, 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006. Revised Papers. Lecture Notes in Computer Science 4869, Springer 2007, ISBN 978-3-540-77355-9 [contents] - 2006
- [c15]Antonio Montes, Tomás Recio:
Automatic Discovery of Geometry Theorems Using Minimal Canonical Comprehensive Gröbner Systems. Automated Deduction in Geometry 2006: 113-138 - 2004
- [j15]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): 53-55 (2004) - [c14]Francisco Botana, Tomás Recio:
Towards Solving the Dynamic Geometry Bottleneck Via a Symbolic Approach. Automated Deduction in Geometry 2004: 92-110 - [c13]Tomás Recio, Francisco Botana:
Where the Truth Lies (in Automatic Theorem Proving in Elementary Geometry). ICCSA (2) 2004: 761-770 - [c12]Tomás Recio, J. Rafael Sendra, Carlos Villarino:
From hypercircles to units. ISSAC 2004: 258-265 - 2001
- [j14]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): 1-2 (2001)
1990 – 1999
- 1999
- [j13]Tomás Recio:
Computing Weil's descente variety. SIGSAM Bull. 33(3): 12 (1999) - [j12]Tomás Recio, M. Pilar Vélez:
Automatic Discovery of Theorems in Elementary Geometry. J. Autom. Reason. 23(1): 63-82 (1999) - [c11]Carlos Andradas, Tomás Recio, J. Rafael Sendra:
Base Field Restriction Techniques for Parametric Curves. ISSAC 1999: 17-22 - 1998
- [j11]Jaime Gutierrez, Tomás Recio:
Advances on the Simplification of Sine-Cosine Equations. J. Symb. Comput. 26(1): 31-70 (1998) - 1997
- [j10]Marisa Mazón, Tomás Recio:
Voronoi Diagrams on Orbifolds. Comput. Geom. 8: 219-230 (1997) - [j9]Tomás Recio, J. Rafael Sendra:
Real Reparametrizations of Real Curves. J. Symb. Comput. 23(2/3): 241-254 (1997) - [c10]Carlos Andradas, Tomás Recio, J. Rafael Sendra:
A Relatively Optimal Rational Space Curve Reparametrization Algorithm Through Canonical Divisors. ISSAC 1997: 349-355 - 1996
- [j8]A. Corbalan, Marisa Mazón, Tomás Recio:
Geometry of bisectors for strictly convex distances. Int. J. Comput. Geom. Appl. 6(1): 45-58 (1996) - 1995
- [j7]Cesar Alonso, Jaime Gutierrez, Tomás Recio:
Reconsidering algorithms for real parametric curves. Appl. Algebra Eng. Commun. Comput. 6(6): 345-352 (1995) - [j6]Cesar Alonso, Jaime Gutierrez, Tomás Recio:
An implicitization algorithm with fewer variables. Comput. Aided Geom. Des. 12(3): 251-258 (1995) - [j5]Cesar Alonso, Jaime Gutierrez, Tomás Recio:
A Rational Function Decomposition Algorithm by Near-Separated Polynomials. J. Symb. Comput. 19(6): 527-544 (1995) - 1994
- [j4]José Luis Montaña, Luis Miguel Pardo, Tomás Recio:
A Note on Rabin's Width of a Complete Proof. Comput. Complex. 4: 12-36 (1994) - [j3]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): 1-24 (1994) - [c9]Tomás Recio, M. J. González-López:
On the Symbolic Insimplification of the General 6R-Manipulator Kinematic Equations. ISSAC 1994: 354-358 - 1993
- [j2]M. J. González-López, Tomás Recio:
Path Tracking in Motion Planning. Comput. J. 36(5): 515-524 (1993) - [c8]A. Corbalan, Marisa Mazón, Tomás Recio, Francisco Santos:
On the Topological Shape of Planar Voronoi Diagrams. SCG 1993: 109-115 - 1992
- [c7]Jaime Gutierrez, Tomás Recio:
A Practical Implementation of Two Rational Function Decomposition Algorithms. ISSAC 1992: 152-157 - [c6]Jaime Gutierrez, Tomás Recio:
Rational Function Decomposition and Gröbner Bases in the Parameterization of Plane Curves (An extended abstract). LATIN 1992: 231-245 - 1990
- [j1]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: 561-588 (1990) - [c5]Joos Heintz, Tomás Recio, Marie-Françoise Roy:
Algorithms in Real Algebraic Geometry and Applications to Computational Geometry. Discrete and Computational Geometry 1990: 137-164
1980 – 1989
- 1989
- [c4]Laureano González, Henri Lombardi, Tomás Recio, Marie-Françoise Roy:
Sturm-Habicht Sequence. ISSAC 1989: 136-146 - 1988
- [c3]Jaime Gutierrez, Tomás Recio, C. Ruiz de Velasco:
Polynomial Decomposition Algorithm of Almost Quadratic Complexity. AAECC 1988: 471-475 - 1987
- [c2]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: 161-181 - [c1]Tomás Recio, Luis Miguel Pardo:
Rabin's width of a complete proof and the width of a semialgebraic set. EUROCAL 1987: 456-462
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:18 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
