定理的多种证明公式的多种推导

含参数的方程和不等式

本书主要介绍含参数的方程和不等式，二次方程和不等式，无理方程和不等式，三角方程和不等式的基本理论和解法。是一本关于不等式和方程的综述集。...

管理的36个不等式

本书是一本管理学心得，全书分六个板块36篇文章，每篇文章都以管理中的一个不等式命名，通过案例、解析、经典文献的引用等几个方面来论述当今管理科学上的36个不等式。...

解析不等式的若干问题

本书是修订版，是作者多年研究成果的汇集，在不等式方面给出了两个新创建的不等式，并应用新的不等式得到了一系列推广的不等式性质和定理，如Hilbert型，Hardy型不等式的改进和推广等。...

涉过愤怒的河 野性的证明

程序正确性的证明

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

不等式的秘密 第1卷

本书内容包括：AM-GM不等式，Cauchy-Schwarz和Holder不等式，Chebyshev不等，凸函数不等，Abel公式和重排不等式，平衡系数法，导数及其应用，关于对称不等式的注记，问题与解答。...

数学奥林匹克中的不等式研究

本书作者根据其多年辅导竞赛的经验，对数学奥林匹克中的与不等式有关的习题进行了专门研究。

司法证明的逻辑

本书对司法证明的逻辑路径、语言逻辑、图式逻辑、模糊逻辑、司法证明的思想谱系、威格莫尔论证明等内容做了全面论述。