内容简介
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.
