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