10.3969/j.issn.1671-1815.2007.15.046
一类多项式不等式的证明研究
综述性地介绍了最近几年来不等式机器证明领域的新近成果,比较了现有的几种方法,提出了一个新的研究方法.并以此方案寻找一类非负三元六次对称多项式空间的极小多项武.
不等式证明、Bottema程序、Schur分拆、数学机械化
7
O178(数学分析)
国家重点基础研究发展计划973计划2004CB318003;中国科学院知识创新工程项目
2007-09-24(万方平台首次上网日期,不代表论文的发表时间)
共4页
3856-3859