（美）斯皮瓦克（M. Spivak）著；齐民友，路见可译1980 年出版149 页ISBN：13031·1378
YvesBertot，PierreCasteran等著2010 年出版432 页ISBN：9787302208136
Coq是一个用于验证定理的证明是否正确的计算机工具。本书的主要目标是从实践的角度来理解Coq系统及其基本理论，即归纳构造演算。这本书给出了大量的例子，所有这些例子都可以在计算机上执行。...
李善姬，金英兰，魏昌云等主编2009 年出版498 页ISBN：9787563427499
《初中数理化生公式定理解题手册》是按照初中新课标为体系，通过此书既能巩固所学的知识又可以使学生迅速掌握学科的重点、难点和解题方法。本书由以下板块构成；章节知识梳理，公式，定理，例题与参考答案。本书的编...
（法）德尼·盖之（Denis Guegj）著；马金章译2002 年出版503 页ISBN：7506323931
八十六岁的吕升先生，突然收到五十多年前的朋友，从亚马孙森林寄来的一封信及几百公斤的数学书。不久又收到朋友惨遭火焚的警方通知。麦科思在市场救得一只大鹦鹉，它可以讲述许多数学故事与定理。他俩及一对双胞...
张景中，高小山，周咸青著2015 年出版318 页ISBN：9787030440662
用计算机自动证明某一类型几何定理，甚至某一种几何全部定理的原理和方法。从理论角度看，几何定理的机器证明要经历公理化、代数化与坐标化、机械化等步骤，才能编制程序并在计算机上实现。可用机器证明的几何定...
石春蕊，翟金鹏，丁连才主编2008 年出版386 页ISBN：9787801035585
《初中数理化公式定理大全》（修订版）是一部初中理科教辅工具书，全书448千字.本书按学科分为数学、物理、化学3部分，内容涵盖了"新课标"各版本教材的全部必修和选修知识点.全书以词条为单元编辑而成，内容充实完备...
张宇编著2018 年出版121 页ISBN：9787030554550
本书主要分为两部分内容：集值极大极小定理与集值博弈问题。分别在向量优化准则与集优化准则下不同准则下研究集值极大极小定理。主要分为：集值极大极小定理与锥鞍点、向量集值极大极小定理、向量集值KyFan极...
冯承天著2017 年出版148 页ISBN：9787567558588
本书分为四个部分，共计十四章，如“从自然数系到有理数系”、“无理数与实数系”、“代数、基本定理的定性说明”、“业余数学家阿尔岗的证明”、“美国数学家安凯屈的证明”、“圆周率及其元理性”、“自然对...
徐俊杰著2007 年出版106 页ISBN：9787561222003
本书详细地介绍了费尔马大定理的初等证明问题的数学证明方法，同时还运用数学推理方法证明了三次平面图形成定理和边二色回路定理，并进一步证明了四色问题也是成立的。这些证明的思路和方法，对于启发人们数学思...
（法）塞德里克·维拉尼著；（法）克劳德·龚达尔绘；马跃，杨苑艺译2016 年出版238 页ISBN：7115407045
2010年，法国青年数学家塞德里克·维拉尼凭借对非线性朗道阻尼的证明以及对玻尔兹曼方程收敛至平衡态的研究，一举摘得菲尔茨奖章。维拉尼将以日记形式再现这段研究生涯，揭示一个数学定理的诞生历程，描绘数学家和...
