• 论文 • 下一篇
徐嘉
徐嘉. 用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.
XU Jia
[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. |
阅读次数 | ||||||
全文 |
|
|||||
摘要 |
|
|||||