On Plausible Goals for Automatic Discovery on Elementary Geometry 15 de maio de 2007

Visto 103 veces

On Plausible Goals for Automatic Discovery on Elementary Geometry

Ponente: Tomás Recio
Departamento de Matemáticas, Estadística e Computación, Universidade de Cantabria