用系统分解法研究不等式及其他

提出了用系统分解法研究不等式的思路和方法,以实例方式介绍了这种方法的应用;提出了聚合集和聚合量级的概念．从而为量级研究提供了新视角和新课题;最后给出3个待解决的不等式问题．     

多项式分拆初探

给出了不同对称类型多项式分拆基的统一构造方法,以逐步待定系数法为基础,编制了多项式统一分拆程序.     

四元六次对称多项式不等式探讨

对四元六次对称多项式不等式的分拆进行了初步探讨；证明了若干拆分基不等式和含参不等式；最后提出了若干问题。     

一个优美的不等式链

设△ABC的3条边长分别为a，b，C，半周长为s．文献[1]证明了不等式：∑cot A/2≥（a/b＋b/c＋c/a）∑tan A/2.     

智能模拟思想应用3例

根据智能模拟思想,设计了2个自动出题程序和3个多项式数据通用构造程序,这些程序不仅进一步完善了agl2012程序的功能(特别是教学辅助功能),也为用智能模拟思想进行研究提供了实例;结合具体例子对智能模拟思想进行了新的论述和补充;提出了待解决的问题.     

不等式自动发现和判定程序agl2010的若干改进及应用

对不等式自动发现和判定程序agl2010进行了若干改进,扩充了程序功能,提高了运算效率;讨论了自动发现不等式过程中的若干技巧和策略;以实例的方式介绍了agl2010程序的应用.     

两个不等式通用模型及其应用

提出了两个不等式通用模型,以这两个模型为基础设计了若干不等式自动发现命令,从而进一步完善了不等式自动发现与判定程序agl2010的功能,得到应用程序xhhj;给出了大量类型丰富的不等式(恒等式)自动发现实例;加强或推广了一些著名不等式;顺便评价了杨路教授的有关工作;提出了待解决的问题.     

局部对称多项式线性空间初探

对4元-2元对称多项式和4元-3元对称多项式线性空间进行了初步探讨;给出了3元和4元轮换对称多项式线性空间维数的计算公式;讨论了实数范围内多项式半正定分拆证明问题;提出了两个待解决的问题．     

三角形内一组有趣的恒等式

本文利用极限的基本性质,证明了三角形内一组有趣的恒等式.为了下面叙述和论证方便,这里先定义n个名词和记号,并证明若干引理.     

生成运算及其在证明多元对称不等式中的应用

证明多元对称多项式不等式的生成法和这种方法下的生成运算；定义差分代换、对称多项式不等式取等的比值和扩展基本不等式等重要概念；发现若干含参多元对称不等式，并给出了应用方面的例子．