改进不等式链k_1Σ(a-b)~2≥Σa~2-43~(1/3)Δ≥krΣ(a-b)~2中k_1和k_r的六种途径

本文以S·Beatty不等式为基础，推出了一个包含Funsler－Hadwiger不等式的不等式键，并从六种不同的途径讨论了这个不等式链中有关系数的进一步改进，最后在附录中给出了文[2]中定理的推广，这个推广其实是本文讨论问题的主要引理。     

非负量的匹配与加强三角形不等式

本文首先提出非负量匹配的概念，在此基础上，统一描述了三角形中非负量的关系，并揭示了加强三角形不等式的本质，提出了数量研究三角形的根本任务．本文可看作是文[1]的进一步发展和扩充．     

三角形不等式判定程序agl2009的改进及应用

从8个方面对三角形不等式判定程序agl2009进行了改进和补充,使改进后的程序能够处理更多类型的不等式;针对传统不等式证明器只对给定不等式判定的不足,给出了批量发现非平凡不等式的应用实例;提出了若干形式新颖的不等式猜想.     

一类四元五次对称不等式分拆探讨

给出了若干四元五次含参对称不等式,以杨路教授的BOTTEMA软件为工具,用具体例子说明了一类多元对称式的分拆思路和一般试验步骤,最后提出了几个问题.     

再谈第二类差分代换

对第二类差分代换作了进一步讨论,完善了其算法;对两类差分代换进行了比较,指出了各自的优势和局限性;讨论了代换加速的一些思路和方法。     

估算三角形面积的几种方法

三角形面积的估算是几何不等式方面十分重要的内容。本文拟对三角形面积的估算方法进行归纳，在每种方法的示例中，均给出了相应的新结果。     

四边形不等式的自动发现

对圆内接四边形和双圆四边形不等式的自动发现进行了探讨,并编写了应用程序;讨论了圆内接四边形不等式与双圆四边形不等式的区别和联系;初步探讨了圆内接四边形不等式的证明方法;发现了大量新颖优美的圆内接四边形不等式和双圆四边形不等式新结果;提出了若干待解决的问题.     

磨光集新探

本文以不等式的式商及标准数据为切入点,对磨光集进行了新的探索;编写了应用程序;给出了大量的实例及不等式自动发现新结果.     

磨光集及其应用

提出了磨光集的概念,并详述了计算磨光集的算法和程序;讨论了磨光集在发现不等式、三角形不等式分拆证明及在量级研究中的应用;给出了关于R,r和s的三角形不等式的试探性分拆程序.     

圈C_4的(S(tr+1),S(tr+2),S(tr+1),S(tr+2))-冠的优美性

本文给出了圈C4的(S(t r+1),S(t r+2),S(t r+1),S(t r+2))-冠的定义,讨论了圈C4的(S(t r+1),S(t r+2),S(t r+1),S(t r+2))-冠的优美性,用构造性的方法给出了圈C4的(S(t r+1),S(t r+2),S(t r+1),S(t r+2))-冠的优美标号.