WZ CohomologyTewodros AmdeberhanDeVry College of Technology/Temple University
February 28,

ABSTRACT


In a series of seminal papers, Wilf and Zeilberger (herewith WZ) have established an impeccable bases in the field of Algorithmic Proof Theory. In particular the traditional savoirfaire of proving single and multivariable special functions, even holonomic, identities is now made automatic. The present talk aims at exploiting further application of the theory, in a different direction. To wit: a conceptual framework of the WZ methodology will be tied together with discretecontinuous difference differential forms as well as winged to systematized Apérystyle irrationality proofs (once regarded as a tourdeforce in Number Theory); hypergeometric and qhypergeometric series accelerations and constructions of an infinite string of WZforms will be given. The notion of a WZ Cohomology and its computation will be shown as seated at the heart of the matter. (joint work with D. Zeilberger) 
Combinatorics Seminar, Mathematics Department, MIT, sara(atsign)math.mit.edu 

