FRANCISCO RAMON
BOTANA FERREIRO
CATEDRATICO/A UNIVERSIDADE - TEMPO COMPLETO
Publikationen (104) Publikationen von FRANCISCO RAMON BOTANA FERREIRO
2024
-
Geometric Loci and ChatGPT: Caveat Emptor! †
Computation, Vol. 12, Núm. 2
-
On Using GeoGebra and ChatGPT for Geometric Discovery
Computers, Vol. 13, Núm. 8
2021
-
A Mechanical Geometer
Mathematics in Computer Science, Vol. 15, Núm. 4, pp. 631-641
2020
-
Automatically Augmented Reality with GeoGebra
Augmented reality in educational settings (Brill Sense), pp. 347-368
-
Foreword
Mathematics in Computer Science
-
Hacia un autómata geómetra
Gaceta de la Real Sociedad Matematica Española, Vol. 23, Núm. 2, pp. 343-373
-
Special issue on dynamic geometry and automated reasoning
Journal of Symbolic Computation
2019
-
A Proposal for the Automatic Computation of Envelopes of Families of Plane Curves
Journal of Systems Science and Complexity, Vol. 32, Núm. 1, pp. 150-157
-
Automatically Augmented Reality with GeoGebra
Augmented Reality in Educational Settings (Brill), pp. 347-368
2018
-
Applications of Computer Algebra: proceedings
koord.
Servicio de Publicaciones e Intercambio Científico
-
Preface
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE
-
Towards an automated geometer
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2017
-
Computing envelopes in dynamic geometry environments
Annals of Mathematics and Artificial Intelligence, Vol. 80, Núm. 1, pp. 3-20
-
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)
-
Una propuesta en formación inicial de profesores de matemáticas para enseñar con aplicaciones web de cálculo simbólico
Las TIC en la enseñanza. Experiencias en la UCM: actas de la Jornada. 29 de marzo de 2017, Facultad de Geografía e Historia (Universidad Complutense de Madrid), pp. 89-93
2016
-
Concepto de lugar geométrico. Génesis de utilización personal y profesional con distintas herramientas
Bolema - Mathematics Education Bulletin, Vol. 30, Núm. 54, pp. 67-94
-
Descubrimiento Automático en GeoGebra: primeros pasos
XV Encuentro de Álgebra computacional y aplicaciones: EACA 2016
-
Development of automatic reasoning tools in GeoGebra
ACM Communications in Computer Algebra, Vol. 50, Núm. 3, pp. 85-88
-
Foreword to the special issue on "nonstandard Applications of Computer Algebra (ACA'2013)"
Mathematics and Computers in Simulation
-
On the Unavoidable Uncertainty of Truth in Dynamic Geometry Proving
Mathematics in Computer Science, Vol. 10, Núm. 1, pp. 5-25