Speaker:
Julio Rubio (Universidad de La Rioja)
Email:
julio.rubio@dmc.unirioja.esLocation:
Sala de Seminarios del IMUS
Date:
Mon, 3 nov 2014 13:00
Julio Rubio García es Catedrático del Departamento de Matemáticas y Computación de la Universidad de La Rioja y es especialista en el campo del cálculo simbólico en Topologíay mantiene el sistema de cálculo simbólico Kenzo.
En la charla presentaremos cómo las ideas de la homología efectiva, materializadas en el sistema Kenzo, permiten una aproximación experimental a ciertos aspectos de la Topología Algebraica. En particular, gracias a la implementación en Kenzo de algoritmos para el cálculo de la homología persistente, pudimos refutar un teorema publicado en un conocido libro sobre Topología Computacional. Más que centrarnos en la técnica, en la charla se intentará ilustrar las implicaciones que el uso de herramientas de Álgebra Computacional tiene sobre la confianza en resultados matemáticos y computacionales.
Esta charla está coorganizada con el Instituto de Matemáticas de la Universidad de Sevilla.