Using a Computer to Derive Every* Possible Identity

Please check out the source of this video: https://www2.math.upenn.edu/~wilf/Aeq... An informal overview of how to use a computer to solve the problem of finding closed forms of hypergeometric identities. The video covers the motivation, hypergeometric series, telescoping series, Gosper's algorithm, and the Wilf-Zeilberger proof algorithm and certificates. Special thanks to Marko Petkovšek, the author of A=B, who personally helped in checking the video for technical accuracy. My Patreon:   / zhulimath   00:00 Prerequisites 00:19 Introduction 03:27 Chapter 1: Hypergeometric Identities 06:36 Chapter 2: The Wilf-Zeilberger Pair 11:40 Chapter 3: Gosper's Algorithm 21:45 Chapter 4: Producing the Proof Certificate 23:08 Conclusion Music Credit: Gavin Luke / Delicate Transitions Jon E. Amber / Softly, Gently Peter Sandberg / Remove The Complexities Johannes Bornlöf / Hope Whispers Peter Sandberg / Dismantle Kikoru / Behind Those Eyes Clarence Reed / Never Say No courtesy of www.epidemicsound.com Related tags: WZ pair, WZ method, computer algebra systems