初等不等式的证明方法

本书共分15章，选取300余个国内外初等不等式的典型问题，以解析解题方法，并对部分问题加以拓展。

初等不等式的证明方法

本书介绍初等不等式证明中的有效方法，共分15章，选取300余个国内外初等不等式的典型问题，以解析的方法解题，并对部分问题加以拓展，不少例题都配有较大篇幅的注解。本书适合相关专业师生阅读和使用，也可供专业人员....

不等式的分拆降维幂方法与可读证明

本书系统地总结了作者及其合作者近十年来在不等式数学机械化领域的一系列研究成果及其软件（SCHUE01）实现。把本书与SCHUR01结合起来阅读使用可使读者对于不等式的机器证明过程及其理论依据有更为深入的理解。...

不等式图解、证明及演绎

不等式机器证明与自动发现

本书主要介绍作者及其合作者近10年来在不等式机器证明与自动发现方面的工作，兼顾经典结果和方法。全书共分七章，分别介绍和论述：多项式的伪除与结式；相对单纯分解；多项式的实根；常系数半代数系统的实解隔离；参......

线性代数六百证明题详解

116个代数不等式

本书内容提要：混凝土及砂浆包括混凝土拌合物性能的测试方法，混凝土性能的测试方法，砂浆性能的测试方法；混凝土用原材料包括水泥物理力学性能测试方法，水泥化学成分测试方法，砂石颗粒级配、含泥量、有害物含量、.....

线性代数习题课教程 解题方法、技巧与证明

本书叙述了线性代数的基本概念、基本方法和基本定理。主要内容有行列式、矩阵、向量组的线性相关性，n维向量空间。线性方程组，特征值与特征向量，内积与二次型。全书共六章，约27万字。每章又分内容提要，疑难解析，....

线性代数、概率论与数理统计证明题500例解析

本书依据线性代数、概率论与数理统计课程教学基本要求，参考多本习题集、考研试题、数学竞赛题，选择了大量证明题，通过对比、分类、归纳、分析，找出不同题目之间的共性和差异，从而提高学生求解证明题的效率，培养.....

不等式的解法及应用