Publicacións (103) Publicacións de FRANCISCO RAMON BOTANA FERREIRO

2024

  1. Geometric Loci and ChatGPT: Caveat Emptor! †

    Computation, Vol. 12, Núm. 2

2021

  1. A Mechanical Geometer

    Mathematics in Computer Science, Vol. 15, Núm. 4, pp. 631-641

2020

  1. Automatically Augmented Reality with GeoGebra

    Augmented reality in educational settings (Brill Sense), pp. 347-368

  2. Foreword

    Mathematics in Computer Science

  3. Hacia un autómata geómetra

    Gaceta de la Real Sociedad Matematica Española, Vol. 23, Núm. 2, pp. 343-373

  4. Special issue on dynamic geometry and automated reasoning

    Journal of Symbolic Computation

2019

  1. 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

  2. Automatically Augmented Reality with GeoGebra

    Augmented Reality in Educational Settings (Brill), pp. 347-368

2018

  1. Applications of Computer Algebra: proceedings coord.

    Servicio de Publicaciones e Intercambio Científico

  2. Preface

    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE

  3. Towards an automated geometer

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2017

  1. Computing envelopes in dynamic geometry environments

    Annals of Mathematics and Artificial Intelligence, Vol. 80, Núm. 1, pp. 3-20

  2. 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)

  3. 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

  1. 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

  2. Descubrimiento Automático en GeoGebra: primeros pasos

    XV Encuentro de Álgebra computacional y aplicaciones: EACA 2016

  3. Development of automatic reasoning tools in GeoGebra

    ACM Communications in Computer Algebra, Vol. 50, Núm. 3, pp. 85-88

  4. Foreword to the special issue on "nonstandard Applications of Computer Algebra (ACA'2013)"

    Mathematics and Computers in Simulation

  5. On the Unavoidable Uncertainty of Truth in Dynamic Geometry Proving

    Mathematics in Computer Science, Vol. 10, Núm. 1, pp. 5-25

  6. Some issues on the automatic computation of plane envelopes in interactive environments

    Mathematics and Computers in Simulation, Vol. 125, pp. 115-125