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.


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.


  • 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

Author(s): Marko Petkovsek, Herbert S Wilf and Doron Zeilberger.
Format(s): PDF
File size: 1.19 MB
Number of pages: 217
Link: Download.

Leave a Reply

You must be logged in to post a comment.