Publicaciones en las que colabora con José Luis Valcarce Gómez (1)

2006

  1. On using OpenMath for representing dynamic geometry constructions: extended abstract

    Automated deduction in geometry: extended abstracts ([Vigo : Universidade de Vigo], D.L.), pp. 26-30