Tomas Recio

Prof. Dr. Tomas Recio

Nebrija University, Madrid, Spain
orcid
Profesor Magistral
avatar
Co-authors
avatar
Following
avatar
Followers

Research Focus & Metrics

Explore full metrics on Scilit

Academic Career Length

34Years (1993-Present)

(Calculated once Scilit publication data is synced: current year − year of first publication + 1)

Representative Publications

View All Publications
1 July 1999 in Journal of Automated Reasoning
Verified
Journal Article
Closed access
PDF file
TRTomas Recio
Tomas Recio
M. Pilar VélezM. Pilar Vélez
M. Pilar Vélez
29 March 2015 in Journal of Automated Reasoning
Verified
Journal Article
Open access
PDF file
FBFrancisco Botana
Francisco Botana
MHMarkus Hohenwarter
Markus Hohenwarter
PJPredrag Janičić
Predrag Janičić
ZKZoltan Kovacs
Zoltan Kovacs
IPIvan Petrović
Ivan Petrović
SWSimon Weitzhofer
Simon Weitzhofer
GeoGebra is an open-source educational mathematics software tool, with millions of users worldwide. It has a number of features (integration of computer algebra, dynamic geometry, spreadsheet, etc.), primarily focused on facilitating student experiments, and not on formal reasoning. Since including automated deduction tools in GeoGebra could bring a whole new range of teaching and learning scenarios, and since automated theorem proving and discovery in geometry has reached a rather mature stage, we embarked on a project of incorporating and testing a number of different automated provers for geometry in GeoGebra. In this paper, we present the current achievements and status of this project, and discuss various relevant challenges that this project raises in the educational, mathematical and software contexts. We will describe, first, the recent and forthcoming changes demanded by our project, regarding the implementation and the user interface of GeoGebra. Then we present our vision of the educational scenarios that could be supported by automated reasoning features, and how teachers and students could benefit from the present work. In fact, current performance of GeoGebra, extended with automated deduction tools, is already very promising—many complex theorems can be proved in less than 1 second. Thus, we believe that many new and exciting ways of using GeoGebra in the classroom are on their way.
5 August 2021 in Education Sciences
Verified
Journal Article
Open access
PDF file
SBSimon Barlovits
Simon Barlovits
SJSimone Jablonski
Simone Jablonski
CLClaudia Lázaro
Claudia Lázaro
MLMatthias Ludwig
Matthias Ludwig
TRTomas Recio
Tomas Recio
In 2020, Germany and Spain experienced lockdowns of their school systems. This resulted in a new challenge for learners and teachers: lessons moved from the classroom to the children’s homes. Therefore, teachers had to set rules, implement procedures and make didactical–methodical decisions regarding how to handle this new situation. In this paper, we focus on the roles of mathematics teachers in Germany and Spain. The article first describes how mathematics lessons were conducted using distance learning. Second, problems encountered throughout this process were examined. Third, teachers drew conclusions from their mathematics teaching experiences during distance learning. To address these research interests, a questionnaire was answered by N = 248 teachers (N1 = 171 German teachers; N2 = 77 Spanish teachers). Resulting from a mixed methods approach, differences between the countries can be observed, e.g., German teachers conducted more lessons asynchronously. In contrast, Spanish teachers used synchronous teaching more frequently, but still regard the lack of personal contact as a main challenge. Finally, for both countries, the digitization of mathematics lessons seems to have been normalized by the pandemic.
4 November 2016 in ACM Communications in Computer Algebra
Verified
Journal Article
Open access
PDF file
MAMiguel Abánades
Miguel Abánades
FBFrancisco Botana
Francisco Botana
ZKZoltán Kovács
Zoltán Kovács
TRTomas Recio
Tomas Recio
CSCsilla Sólyom-Gecse
Csilla Sólyom-Gecse
Much effort has been put into the implementation of automatic proving in interactive geometric environments (e.g. Java Geometry Expert, GeoGebra). The closely related concept of automatic discovery, remains however almost unexplored. This software presentation will demonstrate our results towards the incorporation of automatic discovery capabilities into GeoGebra, an educational software with tens of millions of users worldwide. As main result, we report on a new command, currently available in the official version, that allows the automatic discovery of loci of points in diagrams defined by implicit conditions. This represents an extension of a previous command, similar in nature, but restricted to loci defined by the standard mover-tracer construction. Our proposal successfully automates the `dummy locus dragging' in dynamic geometry. This makes the cycle conjecturing-checking-proving accessible for general users in elementary geometry.
7 June 2018 in International Journal for Technology in Mathematics Education
Verified
Journal Article
Closed access
ZKZ. Kovács
Z. Kovács
TRTomas Recio
Tomas Recio
MVM.P. Vélez
M.P. Vélez
This document introduces, describes and exemplifies the technical features of some recently implemented automated reasoning tools in the dynamic mathematics software GeoGebra. The new tools are based on symbolic computation algorithms, allowing the automatic and rigorous proving and discovery of theorems on constructed geometric figures. Some examples of the use at the classroom of such commands are provided, including one describing how intuitive handling of GeoGebra automated reasoning tools may result in unexpected outputs. In all cases the emphasis is made in the potential utility of these tools as a guiding stick to foster students activities (exploration, reasoning) in the learning of elementary geometry. Moreover, a collection of appendices describing other, more sophisticated, low-level GeoGebra tools (Prove, ProveDetails), as well as instructions on how to obtain the translation of GeoGebra commands into other languages, and details about debugging, are included
24 June 2009 in Journal of Automated Reasoning
Verified
Journal Article
Closed access
PDF file
GDG. Dalzotto
G. Dalzotto
TRTomas Recio
Tomas Recio