证明相关图书会按更新时间、出版时间和评分持续整理，适合从主题维度系统浏览。
四种颜色就够了
[美] 罗宾·威尔逊（Robin Wilson）
评分 9.1分
“近代三大数学问题之一”将数学引向惊叹和更大的未知 ◎ 编辑推荐 一个数学问题是怎样诞生，又会被怎样解决 数学家们如何思考、如何探索、如何竞争与合作 “证明”是什么？数学思维又是什么？ 人类数学家要让位给计算机了吗？ ◎ 书籍推荐 这本书告诉大家，数学家的思维方式令人着迷，而一个简单的问题可能并不容易回答。 ——伊恩·斯图尔特（Ian Stewart） 我喜欢这本关于四色问题的书，历史如此有趣，论
数学天书中的证明
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
