| 四元四次对称形式的表示与正性的自动可读判定 |
| |
| 引用本文： | 宗芳,姚勇.四元四次对称形式的表示与正性的自动可读判定[J].四川大学学报(自然科学版),2008,45(1):25-32. |
| |
| 作者姓名： | 宗芳 姚勇 |
| |
| 作者单位： | 中国科学院成都计算机应用研究所,成都,610041 |
| |
| 基金项目： | 国家973计划项目(2004CB318003) |
| |
| 摘 要： | 作者研究了具有零点(1，1，1，1)的四元四次对称型，构造了一种特殊的表示，并利用这种表示证明了：具有零点(1，1，1，1)的半正定四元四次对称型，一定可以表为多项式型的平方和(SOS)，然后编程实现了此类多项式型正性的自动可读判定.用同样的方法作者还研究了四元偶八次对称型的相关问题.
|
| 关 键 词： | 四元四次对称型 平方和 自动可读判定 |
| 文章编号： | 0490-6756（2008）01-0025-08 |
| 收稿时间： | 2005-08-28 |
| 修稿时间： | 2005年8月28日 |
The representation of real symmetric quaternary quartics and automated readable determinant of it's positivity |
| |
| ZONG Fang,YAO Yong.The representation of real symmetric quaternary quartics and automated readable determinant of it''''s positivity[J].Journal of Sichuan University (Natural Science Edition),2008,45(1):25-32. |
| |
| Authors: | ZONG Fang YAO Yong |
| |
| Institution: | Chengdu Institute of Computer Applications, Chinese Academy of Science;Chengdu Institute of Computer Applications, Chinese Academy of Science |
| |
| Abstract: | |
| |
| Keywords: | real symmetric quaternary quartics sum of squares(SOS) automated readable determinant |
| 本文献已被 维普 万方数据 等数据库收录！ |
| 点击此处可从《四川大学学报(自然科学版)》浏览原始摘要信息 |
| 点击此处可从《四川大学学报(自然科学版)》下载免费的PDF全文 |
