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.