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.