Título: Métodos computacionales para la demostración de identidades combinatorias

Fabio Velandia

Viernes 5 de Marzo, 9:30 am - 11:00 am

Salon Prime 501; Edificio PRIME

Resumen:

Una gran cantidad de identidades combinatorias están consideradas en el panorama más general de la sumación hipergeométrica. El desarrollo de técnicas automatizadas para demostrar dichas identidades inicia en 1946 con el método de Fasenmyer y se respalda más recientemente en la denominada teoría WZ. En esta charla presentaremos los algoritmos básicos de sumación hipergeométrica y mostraremos aplicaciones de los mismos para demostrar identidades combinatorias desde un enfoque netamente computacional.