| 实轮换对称型及其半正定性判定的可读证明 |
| |
| 引用本文： | 陈胜利,黄方剑.实轮换对称型及其半正定性判定的可读证明[J].系统科学与数学,2012,32(8):986-1001. |
| |
| 作者姓名： | 陈胜利 黄方剑 |
| |
| 作者单位： | 1. 中国科学院成都计算机应用研究所,成都,610041
2. 电子科技大学能源科学与工程学院,成都,611731 |
| |
| 基金项目： | 中国科学院知识创新工程资助项目 |
| |
| 摘 要： | 可读证明是不等式机器证明领域中的热点问题.针对具有对称零点的实轮换对称型,文章提出了其线性空间的一组基以及分拆算法和两种分拆形式用于对不等式进行可读证明研究.讨论了该线性空间的维数,以及轮换对称型半正定性的判别方法.给出了一类具有对称零点的轮换对称型的半正定性判定条件.大量实例表明此分拆方式在轮换对称型半正定性的判定及可读证明上具有很好的实用性.
|
| 关 键 词： | 轮换对称型 对称零点 可读证明 半正定性判定 |
READABLE PROOF TO THE DETERMINATION OF THE POSITIVE SEMI-DEFINITENESS OF REAL CYCLIC SYMMETRIC FORM |
| |
| CHEN Shengli
,
HUANG Fangjian.READABLE PROOF TO THE DETERMINATION OF THE POSITIVE SEMI-DEFINITENESS OF REAL CYCLIC SYMMETRIC FORM[J].Journal of Systems Science and Mathematical Sciences,2012,32(8):986-1001. |
| |
| Authors: | CHEN Shengli HUANG Fangjian |
| |
| Institution: | (School of Energy Science and Engineering,University of Electronic Science and Technology of China, Chengdu 611731) |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
