Publicaciones en colaboración con investigadores/as de Universidad de Cantabria (22)

2022

  1. I CONGRESO ESPAÑOL DE VIDEOJUEGOS 2022

    CEUR Workshop Proceedings

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

  1. Dealing with degeneracies in automated theorem proving in geometry

    Mathematics, Vol. 9, Núm. 16

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

2020

  1. Reasoning about linkages with dynamic geometry

    Journal of Symbolic Computation, Vol. 97, pp. 16-30

2019

  1. Detecting truth, just on parts

    Revista matemática complutense, Vol. 32, Núm. 2, pp. 451-474

2018

  1. Offsets to conics and quadrics: A new determinantal representation for their implicit equation

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

  2. On the Interference Problem for Ellipsoids: Experiments and Applications

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

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

  1. An algebraic framework for computing the topology of offsets to rational curves

    Computer Aided Geometric Design, Vol. 52-53, pp. 28-47

  2. Solving positioning problems with minimal data

    GPS Solutions, Vol. 21, Núm. 1, pp. 149-161

  3. 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. New shield structure for retrodirective and invisible applications

    Microwave and Optical Technology Letters, Vol. 58, Núm. 11, pp. 2570-2577

2015

  1. A canonical form for the continuous piecewise polynomial functions

    Journal of Computational and Applied Mathematics, Vol. 283, pp. 17-27

2014

  1. Computing the topology of an arrangement of implicit and parametric curves given by values

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

2012

  1. An Introduction to Automated Discovery in Geometry through Symbolic Computation

    NUMERICAL AND SYMBOLIC SCIENTIFIC COMPUTING: PROGRESS AND PROSPECTS (SPRINGER-VERLAG BERLIN), pp. 257-271

  2. Model regularization in coevolutionary architectures evolving straight line code

    Studies in Computational Intelligence

2011

  1. Teaching about Madrid: A collaborative agents-based distributed learning course

    Multiagent and Grid Systems, Vol. 7, Núm. 1, pp. 1-20

2010

  1. Coevolutionary architectures with straight line programs for solving the symbolic regression problem

    ICEC 2010 - Proceedings of the International Conference on Evolutionary Computation

  2. The role of keeping "semantic blocks" invariant: Effects in linear genetic programming performance

    ICEC 2010 - Proceedings of the International Conference on Evolutionary Computation