A=B
出版信息
Marko Petkovsek、Herbert S. Wilf、Doron Zeilberger / AK Peters, Ltd. / 1996-01 / USD 49.00
内容简介
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.
