证明相关图书会按更新时间、出版时间和评分持续整理，适合从主题维度系统浏览。
数学天书中的证明
Martin Aigner, G.M.Ziegler
评分 9.6分
《数学天书中的证明(第4版)》介绍了40个著名数学问题的极富创造性和独具匠心的证明。其中有些证明不仅想珐奇特、构思精巧，作为一个整体更是天衣无缝。难怪，西方有些虔诚的数学家将这类杰作比喻为上帝的创造。这不是一本教科书，也不是一本专著，而是一本开阔数学视野和提高数学修养的著作。希望每一个数学爱好者都会喜欢《数学天书中的证明(第4版)》，并且从中学到许多东西。 《数学天书中的证明(第4版)》的英文原著
How to Read and Do Proofs
Daniel Solow
评分 6.2分
When engineers, computer scientists, and economists need to learn how to read, think about, and create proofs, they turn to Solow. In order to make the material more relevant, the exercises in each ch
交互式定理证明与程序开发
YvesBertot, PierreCasteran
评分 暂无
《交互式定理证明与程序开发：Coq归纳构造演算的艺术》的主要目标是从实践的角度来理解Coq系统及其基本理论，即归纳构造演算。这《交互式定理证明与程序开发：Coq归纳构造演算的艺术》给出了大量的例子，所有例子都町以在计算机上执行。从《交互式定理证明与程序开发：Coq归纳构造演算的艺术》配套网站可以下载并执行所有证明的例子，而且还提供了书中200个练习的答案。 Coq是一个用于验证定理的证明是否正确的
A=B
Marko Petkovsek, Herbert S. Wilf, Doron Zeilberger
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
