论文部分内容阅读
机器证明的回顾与展望中国科学院院士中国科学院成都计算机应用研究所研究员张景中机器证明及其应用，是我国攀登计划项目之一。项目核心内容主要是几何定理机器证明和非线性代数方程组理论、算法和应用。实际上，机器证明研究领域的范围要广泛得多。在国外更一般地叫做自...
机器证明的回顾与展望
【摘 要】
：
机器证明的回顾与展望中国科学院院士中国科学院成都计算机应用研究所研究员张景中机器证明及其应用，是我国攀登计划项目之一。项目核心内容主要是几何定理机器证明和非线性代
【机 构】
：
中国科学院
【出 处】
：
数学通报
【发表日期】
：
1997年1期
其他文献
以马来酸酐为起始原料,经酯化、异构化合成富马酸单乙酯。实验结果表明,合成富马酸单乙酯的适宜工艺条件为酯化温度60℃,酯化时间2.5h,异构化温度85℃,异构化时间2h,收率69.7
目的:研究砷(亚砷酸钠)对20个相关基因表达的影响.方法:依据已报道的砷中毒机理,选择与其相关的20个基因,并设内对照和阴性对照,然后制备这些基因的寡核苷酸探针(长度在23～30
主要研究玉米抗氧化肽对于中式香肠氧化稳定性的提高作用。实验以玉米蛋白为原料,采用酶法水解制备玉米抗氧化肽,将其作为抗氧化剂添加到中式香肠中,将香肠在37℃条件下贮藏,
利用遥感技术和地理信息技术对5期遥感影像进行处理分析，得出永定河流域（北京段）1987～2009年土地利用变化情况，即：①永定河流域水量在逐年递减，但随着政府部门对这些问题的重视并采
采用微波辅助提取法从黑芝麻中提取芝麻素，通过单因素实验以及正交实验，确定微波辅助的优化提取条件为：90％乙醇为提取剂、料液比为1：8（g/L）、微波功率700W下提取9min。利用HPLC法测
目的:探讨影响高血压患者治疗效果的因素,增加患者健康知识.方法:用自行设计的问卷对住院70例患者健康知识掌握情况进行调查.结果:影响治疗效果的因素主要是缺乏健康知识.结
温拌沥青混合料是一种低碳路面新材料,是今后路面材料的重要研究方向之一,本文通过室内试验研究,从沥青结合料粘度、混合料温度衰减规律、压实特性及路用性能几方面来比较、
<正>开证行需仔细审核申请人提交的资料,在深入了解信用证运输路径相关栏位与单据类型关系的基础上,务必使信用证条款规范、内容准确,以防范各类风险。对于进口方及其银行而
期刊
背景与目的:目前同期放化疗已推荐为不能手术切除食管癌的标准治疗方法。本研究初步总结我科收治的食管癌同期放化疗的治疗结果,分析影响预后的因素。方法:1996年1月1日～2003
采用AAS测定市售不同厂家不同批号的雷公藤多苷片中镉的含量,测得A厂家的两批药品镉含量约为8.6 ng·mL^-1,其它两个厂家药品未检出镉。利用FTIR法研究其红外吸收特性,结