T
Tomás Recio
Researcher at University of Cantabria
Publications - 118
Citations - 1502
Tomás Recio is an academic researcher from University of Cantabria. The author has contributed to research in topics: Symbolic computation & Automated reasoning. The author has an hindex of 19, co-authored 106 publications receiving 1363 citations. Previous affiliations of Tomás Recio include University of Málaga & University of Vigo.
Papers
More filters
Journal ArticleDOI
Automated Theorem Proving in GeoGebra: Current Achievements
Francisco Botana,Markus Hohenwarter,Predrag Janičić,Zoltán Kovács,Ivan Petrović,Tomás Recio,Simon Weitzhofer +6 more
TL;DR: The recent and forthcoming changes demanded by the GeoGebra extended with automated deduction tools are described, and the vision of the educational scenarios that could be supported by automated reasoning features, and how teachers and students could benefit from the present work is presented.
Journal ArticleDOI
Automatic Discovery of Theorems in Elementary Geometry
Tomás Recio,M. P. Vélez +1 more
TL;DR: This paper considers the problem of dealing automatically with arbitrary geometric statements and presents a rather successful but noncomplete method for automatic discovery that proceeds adding the given conjectural thesis to the collection of hypotheses and derives some special consequences from this new set of conditions.
Proceedings ArticleDOI
Sturm-Habicht sequence
TL;DR: A generalisation of Sturm theorem essentially due to Sylvester is given, which is the key for formal computations with inequalities.
Journal ArticleDOI
A rational function decomposition algorithm by near-separated polynomials
TL;DR: An algorithm for decomposing rational functions over an arbitrary coefficient field that requires exponential time, but is more efficient in practice than the previous ones, including the polynomial time algorithm.
Book ChapterDOI
Sturm—Habicht Sequences, Determinants and Real Roots of Univariate Polynomials
TL;DR: The real root counting problem is one of the main computational problems in Real Algebraic Geometry as discussed by the authors, where the root count is computed by finding the number of roots in a real closed field.