对称型

作品数：312被引量：687H指数：11
导出分析报告
相关领域：理学医药卫生更多>>
相关作者：杨小龙陈耀冯健王冬蒲守智更多>>
相关机构：中国科学院东南大学清华大学西安交通大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家重点基础研究发展计划国家教育部博士点基金国家社会科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=系统科学与数学x
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
对称型的降幂分拆方法与代数不等式的一个判定系统被引量：1
《系统科学与数学》2013年第2期179-196,共18页陈胜利 陈良育 
上海市自然科学基金(11ZR1411500);上海市教委科研创新项目(11ZZ37);上海市重点学科建设项目(B412);高等学校博士学科点专项科研基金(20110076120015);国家自然科学基金创新群体项目(61021004)资助课题
不等式的机器判定,因其广泛的用途和内在的复杂性,已成为定理自动证明领域的研究热点和难点.针对代数不等式提出了一种分拆降幂的机械化判定方法.首先对待证的n元不等式进行齐次化对称化处理,再通过初等对称式表示和降幂分拆,将其等价...
关键词：不等式证明 分拆 降幂 多项式完全判别系统 
实轮换对称型及其半正定性判定的可读证明
《系统科学与数学》2012年第8期986-1001,共16页陈胜利 黄方剑 
中国科学院知识创新工程资助项目(KJCX-YW-S02)
可读证明是不等式机器证明领域中的热点问题.针对具有对称零点的实轮换对称型,文章提出了其线性空间的一组基以及分拆算法和两种分拆形式用于对不等式进行可读证明研究.讨论了该线性空间的维数,以及轮换对称型半正定性的判别方法.给出...
关键词：轮换对称型 对称零点 可读证明 半正定性判定 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部