期刊导航
期刊开放获取
重庆大学
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
1
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
关于5次对称形式正性的机器判定
1
作者
姚勇
冯勇
《系统科学与数学》
CSCD
北大核心
2008年第3期313-324,共12页
利用参系数多项式正实根的判别序列,给出了多变元5次对称形式在畔上取非负值的显示判定方法.并以此为依据,导出了一个有效的算法,能够在变元数较多时也可以使用计算机来自动判定.
关键词
正根的判别序列
5次对称形式
机器证明
原文传递
题名
关于5次对称形式正性的机器判定
1
作者
姚勇
冯勇
机构
中国科学院成都计算机应用研究所
出处
《系统科学与数学》
CSCD
北大核心
2008年第3期313-324,共12页
基金
国家973计划项目(2004CB318003)
中科院知识创新工程重要方向(KJCX-YW-S02)
国家自然科学基金(10771205)资助.
文摘
利用参系数多项式正实根的判别序列,给出了多变元5次对称形式在畔上取非负值的显示判定方法.并以此为依据,导出了一个有效的算法,能够在变元数较多时也可以使用计算机来自动判定.
关键词
正根的判别序列
5次对称形式
机器证明
Keywords
Positive root discriminant sequence, symmetric quintic forms, automated theorem proving.
分类号
O178 [理学—基础数学]
原文传递
题名
作者
出处
发文年
被引量
操作
1
关于5次对称形式正性的机器判定
姚勇
冯勇
《系统科学与数学》
CSCD
北大核心
2008
0
原文传递
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部