AK Peters, Ltd. / 1996-01出版

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.

喜欢这本书的人也喜欢 打开App查看更多
  • How to Design Programs
  • Structure and Interpretation of Computer Programs - 2nd Edition (MIT)
  • 具体数学(英文版第2版)
  • 数学之美