论文部分内容阅读
本文系文献[1]关于初等几何机械化证明的继续,文中指出,应用同样的原理可给出一个算法,足以判定初等微分几何中一个适当的叙述是否是一真实的定理,方法是依据Riquier-Ritt-Thomas的理论[2,3],这些理论本身就是算法性的。
初等微分几何的机械化证明
【摘 要】
：
本文系文献[1]关于初等几何机械化证明的继续,文中指出,应用同样的原理可给出一个算法,足以判定初等微分几何中一个适当的叙述是否是一真实的定理,方法是依据Riquier-Ritt-Th
【机 构】
：
中国科学院数学研究所;
【出 处】
：
中国科学
【发表日期】
：
2004年期
其他文献
目的探讨细胞融合方法建立转线粒体细胞（cybrid）可行性，并对融合后细胞内mtDNA进行鉴定。方法采用细胞融合方法将正常人血小板与mtDNA缺失人肝癌细胞（ρ°SK—Hepl）融合，建立转
<正>2017年,彭州市实行干部实事、实绩"六个挂钩",进一步激活干部内生动力,破解干部"干多干少一个样、干好干坏一个样""动力不足、能力不足、担当不足"等问题。与提拔使用挂
随着智能穿戴设备市场的发展,越来越多的企业和投资者开始关注智能穿戴设备,而智能服饰能为智能穿戴设备提供一个很好的载体,是智能穿戴设备发展的一个方向。本文以OMsignal
在地理课堂教学中运用“情境—活动—体验”教学模式是依据素质教育的基本理念 ,根据地理学科教学的特点 ,充分发挥学生的主体作用有效学习方式的综合运作 ,这样的教学过程的
内蒙古地跨“三北”，外接俄罗斯、蒙古国，是中国向北开放的重要前沿、建设丝绸之路经济带和联通俄蒙欧的重要枢纽，分布在边境线周围的19个“公、铁、航”口岸，也成为推进“一带一
会议
通过对PVC膜材料进行7种应力比下的双轴拉伸试验(比值分别为0∶1、1∶5、1∶2、1∶1、2∶1、5∶1和1∶0),对膜材料在双轴拉伸作用下的拉伸特性进行了研究。在试验过程中施加
为有效防范国库资金风险,2016年新疆国库部门通过对代理银行办理集中支付业务的基本情况与主要模式进行摸底与调研,梳理出当前开展国库监管的难点,进而提出通过完善制度、创
采用一体式A/O生物接触氧化工艺处理生活污水,研究回流比和在有无回流的情况下改变气水比等因素对系统性能的影响。结果表明,在进水流量5 L/h,气水比为20∶1,进水有机负荷0.5
高校教师是高校人力资源的主体,也是高校存在和发展的基础。高校之间的竞争归根结底是高校教师人力资源的竞争。高校教师人力资源的会计计量方法应把握层次性,区分普通的高校
目的:探讨神经外科护理记录中所存在的问题及有效的管理对策。方法:选择2013年4月~2014年4月在医院住院的220例神经外科患者为研究对象,对其病历进行整理和分析,所有病历在检