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

来源 :数学的实践与认识 | 被引量 : 0次 | 上传用户：baishuitylh

【摘要】

：

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

【作者】

：

杨廷力姚芳华

【机构】

：

中国石化金陵石化公司; 中国石化金陵石化公司南京210037; 南京210037;

【出处】

：

数学的实践与认识

【发表日期】

：

2004年期

【关键词】

：

主项解耦消元法几何定理机器证明非退化充要条件

【基金项目】

：

国家自然科学基金资助项目 ( 5 0 2 75 0 70 )

下载到本地 , 更方便阅读

下载此文赞助VIP

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

论文部分内容阅读

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

其他文献

左旋龙脑对小鼠耐缺氧的影响

目的：研究左旋龙脑对小鼠的耐缺氧作用。方法：采用常压耐缺氧、断头张口呼吸、NaNO2中毒缺氧、氰化钾中毒缺氧、氯化镁所致心脏骤停缺氧等方法观察左旋龙脑抗缺氧作用。结果：除N

期刊

左旋龙脑耐缺氧

煤炭企业专业化发展模式分析与建议

简述了专业化模式的特点,以某煤炭企业为例,提出了煤炭企业专业化发展的思路,并详细分析了该企业专业化发展的模式,根据企业的自身特点,设立了若干个专业中心,明确和细化各专

期刊

煤炭企业专业化发展模式

神农架世界自然遗产地种子植物科属的古老性

为了研究神农架世界自然遗产地的种子植物区系特征,基于Phylomatic建立时间树并综合多学科证据,探讨了该区系种子植物科属起源的时间特征。结果发现,神农架世界自然遗产地裸

期刊

APGⅢ系统裸子植物属基部类群单种或寡种间断分布

卧位整脊疗法治疗椎动脉型颈椎病的临床研究

为了观察卧位整脊疗法治疗椎动脉型颈椎病的疗效,以证明此疗法的正确性.以采用卧位整脊疗法治疗的134例椎动脉型颈椎病病例为观察组,采用传统中医推拿手法治疗97例为对照组.

期刊

椎动脉型颈椎病/治疗手法卧位整脊疗法临床研究

手足口病全身炎症反应综合征免疫机制之我见

手足口病重症、危重症常出现全身炎症反应综合征。全身炎症反应综合征发病机制有多种学说：细胞因子风暴说、正反馈说、促炎／抗炎因子平衡说等。本文根据免疫系统由固有性免疫与

期刊

系统论信息论控制论手足口病炎症反应综合征免疫机制

神农架世界自然遗产地陆生脊椎动物多样性

动物名录整理是一项基础性工作,对生物多样性的认识和保护计划的制订具有重要意义。通过对中国科学院神农架生物多样性定位站近20年的监测数据和历史文献资料的整理,对神农架

期刊

动物区系脊椎动物神农架世界自然遗产特有动物新纪录种

PBL联合CBL教学法在胃肠外科临床实习教学中的应用

目的:探讨PBL与CBL相结合的教学方法在胃肠外科临床教学中的教学效果。方法:选取2017年7月-2018年7月在石河子大学医学院第一附属医院住院医师规范化培训学员以及临床医学本

期刊

PBL教学法CBL教学法胃肠外科临床教学

某三甲医院单病种质量控制实践

本文论述某三级甲等医院推行单病种质量控制管理工作的具体实践,通过建立医院三级质控网络完善管理制度,规范临床诊疗行为,着力运行过程督导确保医疗服务质量,实现了医疗业务

期刊

单病种质量控制成效分析

氨茶碱和肾上腺素在大鼠窒息心脏停搏模型中的疗效比较

虽然肾上腺素是公认的一线心肺复苏药物,但其疗效尚不理想,心肺复苏的成功率仍很低(0～10%)[1].临床和实验研究发现,心肌缺血和缺氧时存在大量的腺苷释放,后者可拮抗儿茶酚胺的

期刊

心脏停搏氨茶碱肾上腺素复苏

虚拟戏曲博物馆的设计探索

虚拟博物馆是在信息时代兴起的一种新型的博物馆建构模式，虚拟博物馆超越时空限制，利用数字技术和网络技术，以虚拟现实、三维空间、图像、声音、超文本链接等多媒体的方式，成为参

期刊

虚拟博物馆戏曲艺术虚拟现实技术

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

其他学术论文