In the context of WZ-theory Lily Yen and others have shown how hypergeometric identities can be proven by checking ¯nitely many cases only. The talk, being joint work with Silviu Radu (RISC), discusses the algorithmic application of similar ideas, including the role of recurrences, to problems involving modular forms. One of the illustrating examples is a new proof of Ramanujan's celebrated partition congruences for powers of 11.
Sprache der Kurzfassung:
Hauptvortrag / Eingeladener Vortrag auf einer Tagung