基于多项式组主项解耦消元法的几何定理机器证明

来源 :江苏理工大学学报：自然科学版 | 被引量 : 0次 | 上传用户：cslxml

【摘要】

：

用多项式组主项解耦消元法,将几何定理的假设条件(多项式组PS)化为主系数不含变元的三角型多项式组DTS,可得到定理命题成立的不含变元的非退化条件,即充分必要或更接近充分必

【作者】

：

【机构】

：

中国石化金陵石化公司

【出处】

：

江苏理工大学学报：自然科学版

【发表日期】

：

2002年1期

【关键词】

：

【基金项目】

：

国家自然科学基金

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

用多项式组主项解耦消元法,将几何定理的假设条件(多项式组PS)化为主系数不含变元的三角型多项式组DTS,可得到定理命题成立的不含变元的非退化条件,即充分必要或更接近充分必要的非退化条件.由于多项式主系数不含变元,已不存在DTS多项式之间的约化问题,故方法有普遍意义.文中例为西姆松定理的机器证明.

其他文献

由于混合电动汽车具有节能、环保、可多次充电以及续驶里程长等多种特点,目前混合电动汽车取代纯电动汽车已成为各国汽车业发展的热点.根据作者研制串联式混合电动汽车的实践

期刊

通过对实测数据分析与数学模型修正相结合的方式对小工作面开采影响下的地表移动变形规律进行分析和总结,得到该地质采矿条件下可靠的概率积分法参数,并利用所得参数对其它沉陷参数进行反演推算,最终获得该地质采矿条件下一套完整的沉陷参数。

期刊

文章对农户有需求而贷不到款、农村合作银行有资金但难以放贷给农户的两难状况。文章对成因进行了探讨,提出了相应的对策建议。

期刊

农村信贷难成因分析对策建议