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) |