Title	Deducción automática en geometría a través del cálculo simbólico
Description	Sesión sobre Métodos eficientes de cálculo simbólico. Demostraciones asistidas por ordenador. Aplicaciones
Session	Métodos eficientes de cálculo simbólico. Demostraciones asistidas por ordenador. Aplicaciones
Event	4th Ddays
Date	2008-10-23
File	images/files/events/ddays2008/materiales/T.Recio.zip
Responsable	Tomás Recio (Universidad de Cantabria)