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.
發表於2024-11-27
A=B 2024 pdf epub mobi 電子書 下載
圖書標籤: 算法 超幾何級數 證明 數學 Knuth 近期待讀科技書 計算機科學 組閤數學
沒看到介紹應用很迷惑。。。
評分自己接觸到最早的一本機器證明方嚮的圖書,也算是該方嚮入門級的圖書,挺深刻的,有機會會再讀一遍(每次看都會有不一樣的感觸)
評分沒看到介紹應用很迷惑。。。
評分自己接觸到最早的一本機器證明方嚮的圖書,也算是該方嚮入門級的圖書,挺深刻的,有機會會再讀一遍(每次看都會有不一樣的感觸)
評分沒看到介紹應用很迷惑。。。
A=B 2024 pdf epub mobi 電子書 下載