科学证明炭的效能：炭是地球的救世主

数学奥林匹克中的常见重要不等式

本书共包括8章，介绍了均值不等式、Cauchy-Schwarz不等式、Holder不等式、排序不等式与Chebyshev不等式、Schur不等式、J.Wolstenholme-嵌入不等式、切线不等式、Jensen不等式等内容。本书不仅可以帮助读者理...

方程求解与机器证明 基于MMP的问题求解

道路 道的证明与唯道主义的自然哲学和科学

证明与反驳 数学发现的逻辑

本书主要研究数学方法论问题。数学知识如何增长？是靠一成不变地增加千真万确的定理的数目，还是按照证明与反驳的逻辑不断改进等。

被证明的不平等：社会正义的原则

民主系统，只有当这一制度满足政治正义的基本权利要求，保障所有公民法定的社会生产财富，才是公正的，在其没有满足这些条件之前，都理应受到批判，求改革。...

用分层对应筛法对“哥德巴赫猜想”的证明

龙城教育文集 第1卷 世纪之交的证明

本书为报告文学作品集。

数学奥林匹克小丛书 高中卷．不等式的解题方法与技巧

不等式作为工具，广泛地被使用到数学的各个领域。不等式的证明是高考和数学竞赛中的热门话题。不等式的形式多种多样，证明手法也是灵活多变，它常常和许多内容相结合，所以具体问题具体分析是证明不等式的精髓。本...

最后的不在场证明

本书为引进版小说。原著中，一名自称是詹姆斯的男子陷害律师詹森是连环杀手。为了保护爱人萨伍娜，詹森甘愿成为头号嫌疑人，接受警方和法庭的审讯，最终在萨伍娜的帮助下赢得官司，并让真凶受到应有的惩罚。值得一读...