Publicacions en què col·labora amb Luis Felipe Tabera Alonso (16)

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. Visualizing a Cubic Linkage through the Use of CAS and DGS

    Mathematics, Vol. 10, Núm. 15

2021

  1. Dealing with Degeneracies in Automated Theorem Proving in Geometry (Maple worksheet)

    Zenodo

  2. Dealing with Degeneracies in Automated Theorem Proving in Geometry (Maple worksheet)

    Zenodo

  3. Dealing with degeneracies in automated theorem proving in geometry

    Mathematics, Vol. 9, Núm. 16

2016

  1. On tubular vs. swung surfaces

    Journal of Symbolic Computation, Vol. 72, pp. 55-64

2014

  1. Factoring analytic multivariate polynomials and non-standard Cauchy-Riemann conditions

    Mathematics and Computers in Simulation, Vol. 104, pp. 43-57

  2. Reparametrizing swung surfaces over the reals

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

  3. Ultraquadrics associated to affine and projective automorphisms

    Applicable Algebra in Engineering, Communications and Computing, Vol. 25, Núm. 6, pp. 431-445

  4. Ultraquadrics associated to affine and projective automorphisms

    Encuentros de Algebra Computacional y aplicaciones: Barcelona 2014

2011

  1. Algorithmic detection of hypercircles

    Mathematics and Computers in Simulation

  2. Proper real reparametrization of rational ruled surfaces

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

2010

  1. Generalizing circles over algebraic extensions

    Mathematics of Computation, Vol. 79, Núm. 270, pp. 1067-1089

  2. Manual de hipercírculos

    Contribuciones científicas en honor de Mirian Andrés Gómez (Universidad de La Rioja), pp. 417-437

  3. Superficies regladas racionales reales

    EACA 2010: XII Encuentro de Álgebra Computacional y Aplicaciones = 12th Meeting on Computer Algebra and Applications : Libro de resúmenes = Book of abstracts : Santiago de Compostela, 19-21 de julio de 2010

2009

  1. On the simplification of the coefficients of a parametrization

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