Publications (4) Publications in which a researcher has participated View referenced research data.

filter_list Geometry and Topology

2024

  1. Reduction by Symmetry in Obstacle Avoidance Problems on Riemannian Manifolds

    SIAM Journal on Applied Algebra and Geometry, Vol. 8, Núm. 1, pp. 26-53

2023

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

    EACA 2022: XVII Encuentro de Álgebra Computacional y Aplicaciones

  2. Dynamic construction of a family of octic curves as geometric loci

    AIMS Mathematics, Vol. 8, Núm. 8, pp. 19461-19476

2021

  1. Dealing with degeneracies in automated theorem proving in geometry

    Mathematics, Vol. 9, Núm. 16