您的位置： 专家智库 > >

中国科学院知识创新工程(KJCX-YW-S02)

作品数：1 被引量：0H指数：0
相关作者：黄方剑陈胜利更多>>
相关机构：电子科技大学中国科学院成都计算机应用研究所更多>>
发文基金：中国科学院知识创新工程更多>>
相关领域：理学更多>>

文献类型

  • 1篇中文期刊文章

领域

  • 1篇理学

主题

  • 1篇对称型
  • 1篇正定性
  • 1篇可读证明
  • 1篇半正定性

机构

  • 1篇电子科技大学
  • 1篇中国科学院成...

作者

  • 1篇陈胜利
  • 1篇黄方剑

传媒

  • 1篇系统科学与数...

年份

  • 1篇2012
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
实轮换对称型及其半正定性判定的可读证明
2012年
可读证明是不等式机器证明领域中的热点问题.针对具有对称零点的实轮换对称型,文章提出了其线性空间的一组基以及分拆算法和两种分拆形式用于对不等式进行可读证明研究.讨论了该线性空间的维数,以及轮换对称型半正定性的判别方法.给出了一类具有对称零点的轮换对称型的半正定性判定条件.大量实例表明此分拆方式在轮换对称型半正定性的判定及可读证明上具有很好的实用性.
陈胜利黄方剑
关键词：可读证明
全选 清除 导出
共1页<1>
聚类工具0