Proving strategies of WZ-type for modular forms

Beschreibung

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.

Zeitraum	28 Mai 2011
Ereignistitel	Waterloo Workshop in Computer Algebra 2011, W80.
Veranstaltungstyp	Konferenz
Ort	USA/Vereinigte StaatenAuf Karte anzeigen