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

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