期刊导航
期刊开放获取
cqvip
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
2
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
关于伪余式与子结式的矩阵计算
1
作者
金萌
《陕西科技大学学报（自然科学版）》
2010年第2期134-140,共7页
提出了通过构造矩阵(矩阵元素为给定多项式组的系数)和Dodgson变换来计算(稀疏)伪余式和子结式的算法,给定两个一元多项式G,F,定义了G和F的行列式多项式序列,并用于计算G和F的子结式序列,同时给出了用Sylvester矩阵和混合Bezout矩阵构...
提出了通过构造矩阵(矩阵元素为给定多项式组的系数)和Dodgson变换来计算(稀疏)伪余式和子结式的算法,给定两个一元多项式G,F,定义了G和F的行列式多项式序列,并用于计算G和F的子结式序列,同时给出了用Sylvester矩阵和混合Bezout矩阵构造子结式的统一描述,在Maple中将新给出的算法予以实现,并通过若干例子与已有的几种算法进行了比较,实验结果表明新算法相对于已有的算法更为高效.
展开更多
关键词
伪
余
式
子结
式
Dodgson变换
算法
MAPLE
下载PDF
职称材料
几何定理机器证明的扩WE分解算法
被引量：
1
2
作者
李永彬
《四川大学学报（自然科学版）》
CAS
CSCD
北大核心
2000年第3期331-335,共5页
在 WR分解算法的基础上发展了辗转伪除法的理论 ,该方法通过计算扩伪余式确定适合的因式来分解升列 ,较 WR分解算法更有效地提高了定理机器证明效率 .
关键词
扩
伪
余
式
扩WE分解算法
几何定理
机器证明
下载PDF
职称材料
题名
关于伪余式与子结式的矩阵计算
1
作者
金萌
机构
北京航空航天大学数学与系统科学学院信息数学与行为教育部重点实验室
出处
《陕西科技大学学报（自然科学版）》
2010年第2期134-140,共7页
文摘
提出了通过构造矩阵(矩阵元素为给定多项式组的系数)和Dodgson变换来计算(稀疏)伪余式和子结式的算法,给定两个一元多项式G,F,定义了G和F的行列式多项式序列,并用于计算G和F的子结式序列,同时给出了用Sylvester矩阵和混合Bezout矩阵构造子结式的统一描述,在Maple中将新给出的算法予以实现,并通过若干例子与已有的几种算法进行了比较,实验结果表明新算法相对于已有的算法更为高效.
关键词
伪
余
式
子结
式
Dodgson变换
算法
MAPLE
Keywords
pseudo-remainder
subresultant
Dodgson＇s transformations
algorithm
Maple
分类号
TP301.6 [自动化与计算机技术—计算机系统结构]
下载PDF
职称材料
题名
几何定理机器证明的扩WE分解算法
被引量：
1
2
作者
李永彬
机构
四川大学数学学院
出处
《四川大学学报（自然科学版）》
CAS
CSCD
北大核心
2000年第3期331-335,共5页
文摘
在 WR分解算法的基础上发展了辗转伪除法的理论 ,该方法通过计算扩伪余式确定适合的因式来分解升列 ,较 WR分解算法更有效地提高了定理机器证明效率 .
关键词
扩
伪
余
式
扩WE分解算法
几何定理
机器证明
Keywords
regular triangular set
expanding pseudoremainder
expanding WE decomnposition algorithm
分类号
O24 [理学—计算数学]
TP18 [理学—数学]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
关于伪余式与子结式的矩阵计算
金萌
《陕西科技大学学报（自然科学版）》
2010
0
下载PDF
职称材料
2
几何定理机器证明的扩WE分解算法
李永彬
《四川大学学报（自然科学版）》
CAS
CSCD
北大核心
2000
1
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
