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

2022

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

2014

  1. Reparametrizing swung surfaces over the reals

    Applicable Algebra in Engineering, Communications and Computing, Vol. 25, Núm. 1-2, pp. 39-65

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

2011

  1. Proper real reparametrization of rational ruled surfaces

    Computer Aided Geometric Design, Vol. 28, Núm. 2, pp. 102-113

2009

  1. On the simplification of the coefficients of a parametrization

    Journal of Symbolic Computation, Vol. 44, Núm. 2, pp. 192-210

2007

  1. Plotting missing points and branches of real parametric curves

    Applicable Algebra in Engineering, Communications and Computing, Vol. 18, Núm. 1-2, pp. 107-126

1999

  1. Automatic discovery of theorems in elementary geometry

    Journal of Automated Reasoning, Vol. 23, Núm. 1, pp. 63-82

  2. Base Field Restriction Techniques for Parametric Curves

    Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC

1983

  1. Ordered fields with the dense orbits property

    Journal of Pure and Applied Algebra, Vol. 30, Núm. 3, pp. 237-246