• 论文 •    下一篇

用Schur分拆证明一类含参数的不等式

徐嘉   

  1. 中国科学院成都计算机应用研究所, 成都 610041
  • 收稿日期:2008-05-23 修回日期:2008-11-05 出版日期:2009-06-25 发布日期:2009-06-25

徐嘉. 用Schur分拆证明一类含参数的不等式[J]. 系统科学与数学, 2009, 29(6): 721-727.

XU Jia. The Proof Based on Schur Partition to a Class of Inequalities Involving Parameters[J]. Journal of Systems Science and Mathematical Sciences, 2009, 29(6): 721-727.

The Proof Based on Schur Partition to a Class of Inequalities Involving Parameters

XU Jia   

  1. Chengdu Institute of Computer Applications, Chinese Academy of Sciences, Chengdu 610041
  • Received:2008-05-23 Revised:2008-11-05 Online:2009-06-25 Published:2009-06-25
利用对称多项式的Schur分拆方法,以及单变元多项式实根隔离算法,证明了一个不等式猜想.
并将这一方法用于处理一类含有参数的有理对称不等式.
A proof for an inequality conjectrue is presented, based on Schur partition for symmetric polynomials and real root seperation algorithm for univariate polynomials. Furthermore, the mixed method is applied to dealing with a class of
symmetric polynomials involving parameters.

MR(2010)主题分类: 

()
[1] 陈世平,刘忠.  Taylor展开式与三角函数不等式的自动证明[J]. 系统科学与数学, 2016, 36(8): 1339-1348.
[2] 陈胜利,陈良育. 对称型的降幂分拆方法与代数不等式的一个判定系统[J]. 系统科学与数学, 2013, 33(2): 179-196.
[3] 郑焕. 可由用户持续发展的几何自动推理平台[J]. 系统科学与数学, 2011, 31(12): 1622-1632.
[4] 徐嘉, 姚勇. 一个三角不定方程的机器解法[J]. 系统科学与数学, 2011, 31(7): 786-793.
[5] 陈胜利;徐嘉;姚勇. n元对称多项式的对称核及应用[J]. 系统科学与数学, 2010, 30(11): 1522-1534.
[6] 杨路;姚勇. 差分代换矩阵与多项式的非负性判定[J]. 系统科学与数学, 2009, 29(9): 1169-1177.
[7] 叶征;曹源昊;谢正;李洪波. 基于指标形式张量的微分几何定理机器证明[J]. 系统科学与数学, 2009, 29(9): 1238-1248.
[8] 陈胜利;姚勇;徐嘉. 代数不等式的分拆降维方法与机器证明[J]. 系统科学与数学, 2009, 29(1): 26-34.
[9] 李洪波. 从几何代数到高级不变量计算[J]. 系统科学与数学, 2008, 28(8): 915-929.
[10] 姚勇;冯勇. 关于$5$次对称形式正性的机器判定[J]. 系统科学与数学, 2008, 28(3): 313-324.
[11] 曹丽娜;李洪波. 一类初等微分几何定理机器证明的算法与实现[J]. 系统科学与数学, 2006, 26(4): 395-401.
阅读次数
全文


摘要