位置：成果数据库 > 期刊 > 期刊详情页
copositive二次型与copositive矩阵
  • ISSN号：1003-2843
  • 期刊名称：西南民族大学学报(自然科学版)
  • 时间：2011
  • 页码：504-508
  • 相关项目：Tarski模型外可判定命题的机械化研究
作者： 徐嘉|李高平|
同期刊论文项目
Tarski模型外可判定命题的机械化研究
期刊论文 15
同项目期刊论文
SGARP中符号计算模块的实现及其应用
几何定理机器证明复系数质点法的改进及其应用
n-单形的m阶等分点集与零多项式的判定
一个三角不定方程的机器解法
Schur型基的一般构造算法
基于随机矩阵的差分代换算法的完备化
三元Schur基的新证法与推广
n元对称多项式的对称核及应用
区间上非线性程序的终止性判定
非负不可约矩阵Perron根的一种迭代算法
二面体群作用下简单多边形的分类
三角代数数极小多项式的机器求解
Pólya方法与逐次差分代换方法
An algorithm for determining copositive matrices