A=B

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.

Book 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.

Table of 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

Download Free PDF / Read Online