On Plausible Goals for Automatic Discovery on Elementary Geometry

Sala de Xuntas do Departamento de Matemática Aplicada I, Escola Técnica Superior de Enxeñería de Telecomunicación - Campus de Vigo (Lagoas, Marcosende)


On Plausible Goals for Automatic Discovery on Elementary Geometry

15 de maio de 2007
Tomás Recio
Departamento de Matemáticas, Estadística e Computación, Universidade de Cantabria