Tomás Recio
Orcid: 0000-0002-1011-295X
According to our database1,
Tomás Recio
authored at least 81 papers
between 1987 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
1990
1995
2000
2005
2010
2015
2020
0
1
2
3
4
5
6
7
8
6
2
2
3
3
3
1
1
4
1
5
2
1
2
2
1
1
2
1
2
1
3
2
1
1
3
1
1
1
2
1
2
2
1
3
1
1
1
1
2
1
1
1
2
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
The ShowProof Command in <i>GeoGebra Discovery</i>: Towards the Automated Ranking of Elementary Geometry Theorems.
ACM Commun. Comput. Algebra, June, 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.
Maple Trans., 2024
J. Symb. Comput., 2024
IACR Cryptol. ePrint Arch., 2024
2023
Faithful Real-Time Animation of Parametrized (Semi-) Algebraic Expressions via Cylindrical Algebraic Decomposition.
ACM Commun. Comput. Algebra, June, 2023
Solving with GeoGebra Discovery an Austrian Mathematics Olympiad problem: Lessons Learned.
Proceedings of the Proceedings 14th International Conference on Automated Deduction in Geometry, 2023
Proceedings of the Proceedings 14th International Conference on Automated Deduction in Geometry, 2023
Proceedings of the 8th SC-Square Workshop co-located with the 48th International Symposium on Symbolic and Algebraic Computation, 2023
2022
Is Computer Algebra Ready for Conjecturing and Proving Geometric Inequalities in the Classroom?
Math. Comput. Sci., 2022
A web version of Tarski, a system for computing with Tarski formulas and semialgebraic sets.
Proceedings of the 24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2022
2021
Proceedings of the 13th International Conference on Automated Deduction in Geometry, 2021
Open comments on the Task Force SIRS report: Scholarly Infrastructures for Research Software (EOSC Executive Board, EOSCArchitecture).
CoRR, 2021
2020
Proceedings of the Maple in Mathematics Education and Research - 4th Maple Conference, 2020
2019
J. Syst. Sci. Complex., 2019
Ann. Math. Artif. Intell., 2019
2018
Proceedings of the 2018 ACM on International Symposium on Symbolic and Algebraic Computation, 2018
Proceedings of the Artificial Intelligence and Symbolic Computation, 2018
2017
Ann. Math. Artif. Intell., 2017
2016
Math. Comput. Sci., 2016
Some issues on the automatic computation of plane envelopes in interactive environments.
Math. Comput. Simul., 2016
ACM Commun. Comput. Algebra, 2016
Proceedings of the Mathematical Software - ICMS 2016, 2016
2015
2014
Factoring analytic multivariate polynomials and non-standard Cauchy-Riemann conditions.
Math. Comput. Simul., 2014
Math. Comput. Simul., 2014
Comput. Aided Des., 2014
Appl. Algebra Eng. Commun. Comput., 2014
Appl. Algebra Eng. Commun. Comput., 2014
Proceedings of the Mathematical Software - ICMS 2014, 2014
Software Using the Gröbner Cover for Geometrical Loci Computation and Classification.
Proceedings of the Mathematical Software - ICMS 2014, 2014
2011
Comput. Aided Geom. Des., 2011
Proceedings of the Computational Science and Its Applications - ICCSA 2011, 2011
Proceedings of the Computational Science and Its Applications - ICCSA 2011, 2011
2010
2009
J. Symb. Comput., 2009
J. Autom. Reason., 2009
2007
Appl. Algebra Eng. Commun. Comput., 2007
2006
Automatic Discovery of Geometry Theorems Using Minimal Canonical Comprehensive Gröbner Systems.
Proceedings of the Automated Deduction in Geometry, 2006
2004
Review of "Computational Commutative Algebra I by Martin Kreuzer and Lorenzo Robbiano", Springer Verlag, 2000, ISBN 3-540-67733-X.
SIGSAM Bull., 2004
Proceedings of the Symbolic and Algebraic Computation, 2004
Proceedings of the Computational Science and Its Applications, 2004
Proceedings of the Automated Deduction in Geometry, 5th International Workshop, 2004
2001
Computer Algebra and Mechanized Reasoning: Selected St. Andrews' ISSAC/Calculemus 2000 Contributions - Foreword from the Editors.
J. Symb. Comput., 2001
1999
Proceedings of the 1999 International Symposium on Symbolic and Algebraic Computation, 1999
1998
1997
A Relatively Optimal Rational Space Curve Reparametrization Algorithm Through Canonical Divisors.
Proceedings of the 1997 International Symposium on Symbolic and Algebraic Computation, 1997
1996
Int. J. Comput. Geom. Appl., 1996
1995
J. Symb. Comput., 1995
Appl. Algebra Eng. Commun. Comput., 1995
1994
Proceedings of the International Symposium on Symbolic and Algebraic Computation, 1994
1993
Proceedings of the Ninth Annual Symposium on Computational GeometrySan Diego, 1993
1992
Rational Function Decomposition and Gröbner Bases in the Parameterization of Plane Curves (An extended abstract).
Proceedings of the LATIN '92, 1992
Proceedings of the 1992 International Symposium on Symbolic and Algebraic Computation, 1992
1990
RAIRO Theor. Informatics Appl., 1990
Proceedings of the Discrete and Computational Geometry: Papers from the DIMACS Special Year, 1990
1989
Proceedings of the ACM-SIGSAM 1989 International Symposium on Symbolic and Algebraic Computation, 1989
1988
Proceedings of the Applied Algebra, 1988
1987
Proceedings of the EUROCAL '87, 1987
On the Computation of the Local and Global Analytic Branches of a Real Algebraic Curve.
Proceedings of the Applied Algebra, 1987