论文降重
免费查重- 钛学术文献服务平台 \
- 学术期刊 \
- 基础科学期刊 \
- 大学学报期刊 \
- 四川大学学报(自然科学版)期刊 \
几何定理机器证明的扩WE分解算法
几何定理机器证明的扩WE分解算法
基本信息来源于合作网站，原文需代理用户跳转至来源网站获取
摘要：
在WR分解算法的基础上发展了辗转伪除法的理论，该方法通过计算扩伪余式确定适合的因式来分解升列，较WR分解算法更有效地提高了定理机器证明效率.
推荐文章
关于Lebesgue分解定理的证明
测度空间
Lebesgue积分
分解定理
现代分析
基于领域的机器定理证明的研究
领域
分类
定理证明
知识推理
本体推理在几何定理机器证明中的应用
定理机器证明
本体模型
规则
推理
领域属性
应用本体和AllegroGraph实现几何定理证明
本体推理
AllegroGraph(AG)
Prolog规则
几何
定理证明
内容分析
关键词云
关键词热度
相关文献总数
(/次)
(/年)
文献信息
| 篇名 | 几何定理机器证明的扩WE分解算法 | ||
| 来源期刊 | 四川大学学报(自然科学版) | 学科 | 数学 |
| 关键词 | 正常升列 扩伪余式 扩WE分解算法 | ||
| 年，卷（期） | 2000,（3） | 所属期刊栏目 | |
| 研究方向 | 页码范围 | 331-335 | |
| 页数 | 5页 | 分类号 | O141.2 |
| 字数 | 4480字 | 语种 | 中文 |
| DOI | 10.3969/j.issn.0490-6756.2000.03.005 | ||
五维指标
引文网络
引文网络
二级参考文献 (0)
共引文献 (0)
参考文献 (2)
节点文献
引证文献 (3)
同被引文献 (0)
二级引证文献 (0)
1977(1)
- 参考文献（1）
- 二级参考文献（0）
1995(1)
- 参考文献（1）
- 二级参考文献（0）
2000(0)
- 参考文献(0)
- 二级参考文献(0)
- 引证文献(0)
- 二级引证文献(0)
2001(1)
- 引证文献（1）
- 二级引证文献（0）
2007(1)
- 引证文献（1）
- 二级引证文献（0）
2014(1)
- 引证文献（1）
- 二级引证文献（0）
研究主题发展历程
节点文献
正常升列
扩伪余式
扩WE分解算法
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
四川大学学报(自然科学版)
主办单位：
四川大学
出版周期：
双月刊
ISSN：
0490-6756
CN：
51-1595/N
开本：
大16开
出版地：
成都市九眼桥望江路29号
邮发代号：
62-127
创刊时间：
1955
语种：
chi
出版文献量（篇）
5772
总下载数（次）
10
期刊文献
相关文献
推荐文献
- 期刊分类
- 期刊（年）
- 期刊（期）
- 期刊推荐
力学
化学
地球物理学
地质学
基础科学综合
大学学报
天文学
天文学、地球科学
数学
气象学
海洋学
物理学
生物学
生物科学
自然地理学和测绘学
自然科学总论
自然科学理论与方法
资源科学
非线性科学与系统科学
四川大学学报(自然科学版)2022
四川大学学报(自然科学版)2021
四川大学学报(自然科学版)2020
四川大学学报(自然科学版)2019
四川大学学报(自然科学版)2018
四川大学学报(自然科学版)2017
四川大学学报(自然科学版)2016
四川大学学报(自然科学版)2015
四川大学学报(自然科学版)2014
四川大学学报(自然科学版)2013
四川大学学报(自然科学版)2012
四川大学学报(自然科学版)2011
四川大学学报(自然科学版)2010
四川大学学报(自然科学版)2009
四川大学学报(自然科学版)2008
四川大学学报(自然科学版)2007
四川大学学报(自然科学版)2006
四川大学学报(自然科学版)2005
四川大学学报(自然科学版)2004
四川大学学报(自然科学版)2003
四川大学学报(自然科学版)2002
四川大学学报(自然科学版)2001
四川大学学报(自然科学版)2000
四川大学学报(自然科学版)1999
四川大学学报(自然科学版)2000年第6期
四川大学学报(自然科学版)2000年第5期
四川大学学报(自然科学版)2000年第4期
四川大学学报(自然科学版)2000年第3期
四川大学学报(自然科学版)2000年第2期
四川大学学报(自然科学版)2000年第1期
