Publicaciones en colaboración con investigadores/as de Universidad Nebrija (25)

2023

  1. From the Steam Engine to STEAM Education: An Experience with Pre-Service Mathematics Teachers

    Mathematics, Vol. 11, Núm. 2

  2. Towards Detection of Partial Truth via Real Geometry

    CEUR Workshop Proceedings

2022

  1. Is Computer Algebra Ready for Conjecturing and Proving Geometric Inequalities in the Classroom?

    Mathematics in Computer Science, Vol. 16, Núm. 4

  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. Automated reasoning tools in GeoGebra discovery

    ACM Communications in Computer Algebra, Vol. 55, Núm. 2, pp. 39-43

  2. Dealing with degeneracies in automated theorem proving in geometry

    Mathematics, Vol. 9, Núm. 16

  3. GeoGebra Discovery in Context

    Electronic Proceedings in Theoretical Computer Science, EPTCS

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

  5. Merging Maple and GeoGebra Automated Reasoning Tools

    Communications in Computer and Information Science

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. Detecting truth, just on parts, in automatic reasoning in geometry

    Applications of Computer Algebra: proceedings

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

2016

  1. Verificación de la eficiencia de códigos DS-LDPC aplicados a la protección de memorias de alta velocidad

    XV Encuentro de Álgebra computacional y aplicaciones: EACA 2016

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

2010

  1. Approximations to the magic formula

    International Journal of Automotive Technology, Vol. 11, Núm. 2, pp. 155-166

2009

  1. Detecting real singularities of a space curve from a real rational parametrization

    Journal of Symbolic Computation, Vol. 44, Núm. 5, pp. 490-498

2007

  1. Bivariate Chebyshev expansion of the Pacejka's tyre model

    NUMERICAL ANALYSIS AND APPLIED MATHEMATICS

  2. Bivariate Chebyshev expansion of the Pacejka's tyre model

    AIP Conference Proceedings