Publications dans lesquelles il/elle collabore avec Luis Felipe Tabera Alonso (1)

2021

  1. Dealing with degeneracies in automated theorem proving in geometry

    Mathematics, Vol. 9, Núm. 16