JESÚS
ESCRIBANO MARTÍNEZ
Profesor contratado doctor
José Luis
Valcarce Gómez
Publicaciones en las que colabora con José Luis Valcarce Gómez (1)
2006
-
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