差分代换相关论文
本文用差分代换和放缩法证明了宋庆老师最近提出的两个轮换对称不等式猜想,并提出了两个相关的猜想.
In this paper, we prove th......
以逐次差分代换为依据,提出了多级差分代换平凡和非平凡以及绝对差分代换非平凡的概念;通过分情形讨论,将实数域中的多项式转化为正......
通过对验证数据进行归纳分析,推导了3元和4元多项式线性空间维数的计算公式:应用多项式的正数域等价集,提出了解决实数集R上多项式......
对用差分代换方法研究三角形不等式进行了新的探讨;给出了锐角三角形几何不等式的一种判定算法和Maple应用程序agl;指出agl程序在验......
为了提高形如g=m1u1+m2u2+…+mnun的根式型函数全局优化算法的效率,从根式型函数的有理化入手,讨论了这类根式型函数不等式成立的......
给出了若干构造半正定多项式的类型和方法,列举了大量问题和例子,并给出了部分解答;提出了解决扩展级递增不等式猜想的一个思路,把多项......
对三角形几何不等式判定算法agl进行了改进和补充,并根据这种算法设计了agl程序的升级版agl2009,讨论了带约束条件差分代换在证明......
提出建立高维解析不等式的拟单调函数方法.获得的主要结果是:在适当的假设下,如果涉及齐次对称函数的不等式问题可用优超理论或差分代......
根据一个已知的几何不等式,应用差分代换方法并借助于Maple软件进行计算,证明了下述几何不等式:ΔABC与任意一点P有∑ PA/wb^2+wc^2≥......
证明多元对称多项式不等式的生成法和这种方法下的生成运算;定义差分代换、对称多项式不等式取等的比值和扩展基本不等式等重要概......
讨论了条件Si类多项式的构造方法和逐次差分代换sds的加速,对锐角三角形不等式的差分代换证明算法agl进行了完善和补充.......
提出了自动发现不等式的思路、算法并编写了应用程序agl2010;通过大量的实例演示了agl2010程序丰富的指令集及使用方法,指出agl201......
对第二类差分代换作了进一步讨论,完善了其算法;对两类差分代换进行了比较,指出了各自的优势和局限性;讨论了代换加速的一些思路和方法......
讨论了带条件约束的差分代换证题方法和三角形几何不等式成立的2个重要条件;验证了轮换对称多项式基本定理猜想;得到了若干不等式......
多项式不等式的证明历来是机器自动证明领域里比较难的课题.本文对多项式不等式可读证明的若干技术进行了研究,对其中的差分代换方......
如果一个多项式差分代换集中各个代换式的系数均是非负的,则这个多项式必然是正半定的,利用这个定理提出了一种估算最佳值的思路和......
文中讨论了一类根式不等式的有理等价问题.证明了这类根式不等式可等价转化为一组有理不等式.建立了一个算法RFD,并用Maple编程实......
设计了一个试探性的计算机程序SDS,用于证明多项式不等式,或等价地,用于判定多项式的非负性.将各变量按一定方式分割成较小的非负......
针对差分代换证明齐次多项式不等式存在的困难和问题,提出了一种解决方法,并对Bottem a软件和一般多项式差分代换DS(F)进行了评价......
给出了若干四元五次含参对称不等式,以杨路教授的BOTTEMA软件为工具,用具体例子说明了一类多元对称式的分拆思路和一般试验步骤,最......
本文先指出一个不等式猜想不成立,即不等号反向后成立,然后用差分代换方法结合判别式法给出了修正后的不等式成立.
In this paper......