DDAYSEl Escorial, 23 de noviembre, 2008 

 

'Deducción automática en geometría a través del cálculo simbólico' 

 

Tomas Recio 

 

Universidad de Cantabria 

 

tomas.recio@unican.es 

 

www.recio.tk 

Resumen 

Veinte años...  no es nada! 

La vida es bella... 

.... sólo a veces 

 

 ... con GDI 

 

Por qué?