A=B

At some point, this book describes methods of solving the problem raised by Donald E. Knuth in the classical book "The Art of Computer Programming, Volume 1: Fundamental Algorithms".

The main purpose of this book is to explain how the discoveries and the proofs of

"hypergeometric identities" have been very largely automated.