论文部分内容阅读
在ＷＲ分解算法的基础上发展了辗转伪除法的理论，该方法通过计算扩伪余式确定适合的因式来分解升列，较ＷＲ分解算法更有效地提高了定理机器证明效率。
几何定理机器证明的扩WE分解算法
【摘 要】
：
在ＷＲ分解算法的基础上发展了辗转伪除法的理论，该方法通过计算扩伪余式确定适合的因式来分解升列，较ＷＲ分解算法更有效地提高了定理机器证明效率。
【机 构】
：
四川大学数学学院
【出 处】
：
四川大学学报(自然科学版)
【发表日期】
：
2000年3期
其他文献
简要介绍了低温干燥技术的特点 ;重点阐明了低温干燥法之一———吸附干燥法的工作原理、干燥空气处理系统的流程、干燥过程的影响因素等 ,并以胡萝卜干燥实验为例 ,对比说明
企业在进行客户满意度调查后，如何选择优先改善因素，是其面临的决策问题。提出从客户认知重要度与满意度的加权差值、成本收益以及政策和外界因素影响三个方面综合考虑来科学选
成就目标理论整合了曾经分离的动机研究和认知研究,是社会认知取向在动机领域中的代表性课题。文章对近十年国内外成就目标定向与自我效能、心理健康的关系研究进行了综述,认
本文根据金属钠用盐的理化指标要求及测试现状 ,通过对大量测试试验的总结 ,探索出测试SO42 -准确、快速、重复性好的方法及其测试条件 ,适用于金属钠用盐的生产控制分析和产
在未来空战中,为实现作战机群之间的超视距通信,提出将临近空间通信平台引入战场。首先结合作战机群战场通信的实际情况,设计了临近空间通信网的网络结构;在此基础上,参考开
本文是对西方学界关于洛克政治哲学的基督教基础之研究的评述。论文共分四个部分。前三个部分将逐一对邓恩、马歇尔和西蒙斯以及沃尔德伦的著作进行述评，旨在借此对有关研究作
针对保山区域冬早大棚辣椒氮磷钾肥料效应缺乏系统研究,存在偏施氮肥、盲目施肥和过量施肥的现象,采用三因素五水平二次正交旋转组合设计,通过田间小区试验,研究氮磷钾肥料效
1现场扩声前的准备对于一项现场扩声的工作,首先要对此次任务的具体活动和场地环境作一次详细的了解,并据此设计系统方案,特别要注意以下几个问题。(1)了解活动的内容,以确定
目的通过气动物流传输技术应用,建立规范的手术耗材管理模式及应用。方法利用信息化技术建立医院气动物流传输系统,整个模块包括HIS系统(医院信息系统)、耗材管理系统等,从病
大银尖钼矿床产于大别变质核杂岩带北缘，为典型的与花岗侵入岩有关的石英脉一矽卡岩型复合型的岩浆热液矿床。对大银尖钼矿床开展了成矿岩体地球化学以及岩体和矿石S，Pb多元同