Publicacións en colaboración con investigadores/as de Universidad de Cantabria (19)

2021

  1. A Mechanical Geometer

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

2020

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

2016

  1. Descubrimiento Automático en GeoGebra: primeros pasos

    XV Encuentro de Álgebra computacional y aplicaciones: EACA 2016

  2. Development of automatic reasoning tools in GeoGebra

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

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

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

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

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

  5. Towards the automatic discovery of theorems in GeoGebra

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

2015

  1. Automated Theorem Proving in GeoGebra: Current Achievements

    Journal of Automated Reasoning, Vol. 55, Núm. 1, pp. 39-59

2014

  1. An algebraic taxonomy for locus computation in dynamic geometry

    CAD Computer Aided Design, Vol. 56, pp. 22-33

  2. Software using the Gröbner cover for geometrical loci computation and classification

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

  3. Using Maple's RegularChains library to automatically classify plane geometric loci

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

2009

  1. On universal central extensions of Leibniz algebras

    Communications in Algebra, Vol. 37, Núm. 6, pp. 2104-2120

2006

  1. Towards solving the dynamic geometry bottleneck via a symbolic approach

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

2004

  1. Where the truth lies (in automatic theorem proving in elementary geometry)

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 3044, pp. 761-770