Free Math book A=B is about identities in general, and hypergeometric identities in particular, with emphasis on computer methods of discovery and proof. The book describes a number of algorithms for doing these tasks.

**Description**

This book is of interest to mathematicians and computer scientists working in finite mathematics and combinatorics. It presents a breakthrough method for analyzing complex summations. Beautifully written, the book contains practical applications as well as conceptual developments that will have applications in other areas of mathematics.

**Contents**

- Proof Machines
- Tightening the Target
- The Hypergeometric Database
- Sister Celine’s Method
- Gosper’s Algorithm
- Zeilberger’s Algorithm
- The WZ Phenomenon
- Algorithm Hyper
- An Operator Algebra Viewpoint

**Book Details**

Format(s): PDF

File size: 1.19 MB

Number of pages: 217

Link: Download.