On Plausible Goals for Automatic Discovery on Elementary Geometry

Sala de Juntas del Departamento de Matemática Aplicada I, Escuela Técnica Superior de Ingeniería de Telecomunicación - Campus de Vigo (Lagoas, Marcosende)

58' 28''

On Plausible Goals for Automatic Discovery on Elementary Geometry

15 may. 2007
Tomás Recio
Departamento de Matemáticas, Estadística y Computación, Universidad de Cantabria