PILAR
VÉLEZ MELÓN
Ikertzailea 1997-(e)ra arte
Tomás Jesús
Recio Muñiz
Tomás Jesús Recio Muñiz-rekin lankidetzan egindako argitalpenak (20)
2023
-
From the Steam Engine to STEAM Education: An Experience with Pre-Service Mathematics Teachers
Mathematics, Vol. 11, Núm. 2
-
Towards Detection of Partial Truth via Real Geometry
CEUR Workshop Proceedings
2022
-
Automated Reasoning Tools with GeoGebra: What Are They? What Are They Good For?
Mathematics education in the age of Artificial Intelligence: How Artificial Intelligence can serve mathematical human learning (Springer Suiza), pp. 23-44
-
Is Computer Algebra Ready for Conjecturing and Proving Geometric Inequalities in the Classroom?
Mathematics in Computer Science, Vol. 16, Núm. 4
-
Niagara Falls and the Origins of Computer Algebra
Maple Transactions, Vol. 2, Núm. 1
-
Towards an ecosystem for computer-supported geometric reasoning
International Journal of Mathematical Education in Science and Technology, Vol. 53, Núm. 7, pp. 1701-1710
2021
-
Automated reasoning tools in GeoGebra discovery
ACM Communications in Computer Algebra, Vol. 55, Núm. 2, pp. 39-43
-
Dealing with degeneracies in automated theorem proving in geometry
Mathematics, Vol. 9, Núm. 16
-
GeoGebra Discovery in Context
Electronic Proceedings in Theoretical Computer Science, EPTCS
-
Inventing theorems with GeoGebra: a new altitude theorem
Boletín de la Sociedad Puig Adam de profesores de matemáticas, Núm. 111, pp. 8-28
-
Merging Maple and GeoGebra Automated Reasoning Tools
Communications in Computer and Information Science
2020
-
Hacia un autómata geómetra
Gaceta de la Real Sociedad Matematica Española, Vol. 23, Núm. 2, pp. 343-373
-
Reasoning about linkages with dynamic geometry
Journal of Symbolic Computation, Vol. 97, pp. 16-30
2019
-
Detecting truth, just on parts
Revista matemática complutense, Vol. 32, Núm. 2, pp. 451-474
2018
-
Detecting truth, just on parts, in automatic reasoning in geometry
Applications of Computer Algebra: proceedings
-
Enunciados ni ciertos ni falsos en razonamiento automático en geometría
Monografías de la Real Academia de Ciencias Exactas, Físicas, Químicas y Naturales de Zaragoza, Núm. 43, pp. 111-114
-
Using automated reasoning tools in GeoGebra in the teaching and learning of proving in geometry
International Journal for Technology in Mathematics Education, Vol. 25, Núm. 2, pp. 33-51
2017
-
The role of automated reasoning of geometry statements in mathematics instruction
PROCEEDINGS OF THE TENTH CONGRESS OF THE EUROPEAN SOCIETY FOR RESEARCH IN MATHEMATICS EDUCATION (CERME10)
2012
-
An Introduction to Automated Discovery in Geometry through Symbolic Computation
NUMERICAL AND SYMBOLIC SCIENTIFIC COMPUTING: PROGRESS AND PROSPECTS (SPRINGER-VERLAG BERLIN), pp. 257-271
1999
-
Automatic discovery of theorems in elementary geometry
Journal of Automated Reasoning, Vol. 23, Núm. 1, pp. 63-82