国家教育部博士点基金(20110076120015)

作品数：2被引量：3H指数：1
导出分析报告
相关作者：陈良育陈胜利更多>>
相关机构：华东师范大学更多>>
相关期刊：《系统科学与数学》《Science China(Information Sciences)》更多>>
相关主题：MATRICESINTERPOLATIONPARALLEL_ALGORITHMENTRIESDETERMINANT更多>>
相关领域：理学自动化与计算机技术更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
Parallel computation of determinants of matrices with multivariate polynomial entries被引量：2
《Science China(Information Sciences)》2013年第11期154-169,共16页CHEN LiangYu ZENG ZhenBing 
supported by National Natural Science Foundation of China(Grant No.61021004);Specialized Research Fund for the Doctoral Program of Higher Education(Grant Nos.20110076110010,20110076120015);Shanghai Municipal Natural Science Foundation(Grant No.11ZR1411500);Innovation Program of Shanghai Municipal Education Commission(Grant No.11ZZ37);Shanghai Leading Academic Discipline Project(Grant No.B412);Fundamental Research Funds for the Central Universities(Grant No.78210152)
In this paper we present an extension to the work of Bjorck et al. for computing the determinants of matrices with univariate or bivariate polynomials as entries to multivariate case. The algorithm supports parallel c...
关键词：DETERMINANT INTERPOLATION parallel algorithm 
对称型的降幂分拆方法与代数不等式的一个判定系统被引量：1
《系统科学与数学》2013年第2期179-196,共18页陈胜利 陈良育 
上海市自然科学基金(11ZR1411500);上海市教委科研创新项目(11ZZ37);上海市重点学科建设项目(B412);高等学校博士学科点专项科研基金(20110076120015);国家自然科学基金创新群体项目(61021004)资助课题
不等式的机器判定,因其广泛的用途和内在的复杂性,已成为定理自动证明领域的研究热点和难点.针对代数不等式提出了一种分拆降幂的机械化判定方法.首先对待证的n元不等式进行齐次化对称化处理,再通过初等对称式表示和降幂分拆,将其等价...
关键词：不等式证明 分拆 降幂 多项式完全判别系统 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部