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

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

【摘要】

：

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

【作者】

：

杨廷力

【机构】

：

中国石化金陵石化公司

【出处】

：

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

【发表日期】

：

2002年1期

【关键词】

：

主项解耦消元法多项式组几何定理机器证明 elimination method decoupling of leading term s geometr

【基金项目】

：

国家自然科学基金

下载到本地 , 更方便阅读

下载此文赞助VIP

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

论文部分内容阅读

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

其他文献

浅谈医院基建工程项目的财务管理

基建工程是保障医院生存的基础,同时也是促进医院发展的前提,在医院工作中发挥着重要作用。伴随医疗事业发展,生活水平提升,人们对医院基建工程给予了更多的关注。医院基建工

期刊

医院基建工程财务管理

浅谈科技馆展品展项中计算机的管理和维护

计算机在科技馆的展品展览中广泛应用,是科普展项重要的技术支撑,保障展览教育工作的顺利开展,所以对展品所涉及计算机进行更好的管理和维护显得尤为重要。本文作者针对科技

期刊

科技馆计算机软件计算机硬件展品管理员

英语教学中如何培养学生的交际能力

本文分析了大部分非英语专业的学生英语口语能力低的原因，并针对这一问题提出了相应的解决方法。以学生为中心，开展教学活动，充分调动学生的积极性，切实培养学生们的交际能力。

期刊

以学生为中心交际能力English teaching develop student's communicative ability

混合电动汽车子系统开发方法的研究

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

期刊

开发方法混合电动汽车子系统控制策略仿真数字模型排放性能hybrid electric vehicle subsystem control st

基于小工作面开采的地表沉陷参数获取

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

期刊

小工作面沉陷参数参数修正small workface subsidence parameter parameter modification

农村信贷难的成因分析

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

期刊

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

森禾种业——“彩化浙江”的助推器

2005年1月4日，省委、省政府领导视察农业龙头企业浙江森禾种业股份有限公司时指出：“在以往绿化的基础上，林业上还实现彩化，是一个新的思路。这符合未来浙江的发展战略，也是今后林

期刊

浙江种业助推器绿化美化农业龙头企业高速公路政府领导林相改造

竹编“魔术师”何福礼

近日，有着50年竹编生涯、素有竹编“魔术师”之称的中国竹编工艺大师何福礼，针对浙江东阳传统竹编工艺后继乏人的状况，拿出10万元人民币摆起擂台，想以此发现竹编新人，激发年轻一代

期刊

魔术师竹编工艺人民币年轻人传统

综合英语课加强实践性、寓教于乐、注重交际能力的培养

如何提高综合英语课的教学质量是师专英语专业所面临的重大问题。本文作者通过教学实践认为在该课程的授课过程中，教师必须遵循实践性、寓教于乐、注重交际能力培养的原则。

期刊

综合英语实践性趣味性交际能力Comprehensive English practicality intrest communicative ab

新型3{R∥R∥C}三平移并联机器人机构的特殊位形分析

分析了一新型3{R∥R∥C}三平移并联机器人机构的特殊位形。文章先从分析该机器人动平台的平衡情况着手，采用旋量及运动影响系数矩阵方法，推导了机构出现特殊位形的判别矩阵公式

期刊

并联机器人特殊位形三平移并联机构parallel robotspecial configuration3DOF translational paral

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

与本文相关的学术论文