Publicaciones en las que colabora con Luis Felipe Tabera Alonso (1)

2021

  1. Dealing with degeneracies in automated theorem proving in geometry

    Mathematics, Vol. 9, Núm. 16