Proving strategies of WZ-type for modular forms

Description

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.

Period	28 May 2011
Event title	Waterloo Workshop in Computer Algebra 2011, W80.
Event type	Conference
Location	United StatesShow on map