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

2024

  1. Mathematical trails with MathCityMap y GeoGebra Discovery: Una propuesta

    Boletín de la Sociedad Puig Adam de profesores de matemáticas, Núm. 117, pp. 19-37

2023

  1. Dealing with degeneracies in automated theorem proving in geometry: A zero-dimensional approach

    EACA 2022: XVII Encuentro de Álgebra Computacional y Aplicaciones

2022

  1. Adaptación de materiales del proyecto matesgg para alumnado con autismo

    Investigación en Educación Matemática XXV

  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

  3. Visualizing a Cubic Linkage through the Use of CAS and DGS

    Mathematics, Vol. 10, Núm. 15

2021

  1. A Mechanical Geometer

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

  2. Dealing with degeneracies in automated theorem proving in geometry

    Mathematics, Vol. 9, Núm. 16

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

  4. Professional development in mathematics education—evaluation of a MOOC on outdoor mathematics

    Mathematics, Vol. 9, Núm. 22

2020

  1. From curve to curve, through GeoGebra

    Boletín de la Sociedad Puig Adam de profesores de matemáticas, Núm. 110, pp. 8-25

  2. Reasoning about linkages with dynamic geometry

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

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

  3. Detecting truth, just on parts

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

  4. Intelligent geometry tools

    Electronic Proceedings in Theoretical Computer Science, EPTCS

  5. Iso-emission map: A proposal to compare the environmental friendliness of short sea shipping vs road transport

    Transportation Research Part D: Transport and Environment, Vol. 67, pp. 596-609

  6. On the evaluation of research software: The cdur procedure [version 2; peer review: 2 approved]

    Wellcome Open Research, Vol. 3

  7. On the evaluation of research software: the CDUR procedure

    F1000Research, Vol. 8, pp. 1353

  8. Rewriting input expressions in complex algebraic geometry provers

    Annals of Mathematics and Artificial Intelligence, Vol. 85, Núm. 2-4, pp. 73-87