论文部分内容阅读
几何定理的机器证明在自动推理的研究占有重要的地位。今后１０年到２０年间，几何定理机器证明的传统化，几何作图问题的机器求解，几何不等式的机器证明和自动生成，微分几何的机器证明，将有显著的进展。几何问题机器求解的研究成果，会在实际应用中发挥更大的作用。
几何定理机器证明研究展望
【摘 要】
：
几何定理的机器证明在自动推理的研究占有重要的地位。今后１０年到２０年间，几何定理机器证明的传统化，几何作图问题的机器求解，几何不等式的机器证明和自动生成，微分几何的机器证明，将有
【机 构】
：
成都计算机应用研究所
【出 处】
：
中国科学院院刊
【发表日期】
：
1997年2期
其他文献
阐述了高压注浆封堵钻孔围岩裂隙的技术,以隔绝钻孔的封孔段与围岩裂隙的连通,准确测定瓦斯压力的作用。着重分析了钻孔围岩裂隙性质、常用注浆材料的性能、浆液渗透和流动规
目的：比较深吸气后憋气15s和自然呼吸条件下正电子发射计算机断层扫描（PET-CT）显像检查对肺部结节最大标准化摄取值（SUVmax）的影响。方法：26例行全身PET-CT检查发现肺部结节的患者,
建立了过冷流动沸腾汽泡凝结质量及能量传递模型,采用VOF多相流模型,对汽泡凝结过程进行了数值模拟。得到了不同工况下汽泡变形过程及其内部和周围流场变化,与前人研究结果吻
介绍了在连续缩聚装置中熔体齿轮泵转速的2种不同控制方式：流量控制和压力控制。详细阐述了流量控制和压力控制的影响因素、优缺点,并且提出了解决办法。
墨西哥中南部哈利斯科州地区位于墨西哥块状硫化物型Au-Ag-Cu-Pb-Zn成矿带上,矿产资源丰富,但勘查工作程度较低。激发极化法作为一种经济、简便的物探方法,能够对岩(矿)石极
目的分析哈萨克族健康体检人群尿酸与糖、脂代谢关系。方法收集2012年1月-12月哈萨克族健康体检人员的血液,检测其生化指标并进行统计分析。结果哈萨克族健康体检人群中高尿
目前,中储粮系统超高大平房仓已得到广泛推广和应用。跨度21 m及以上,设计堆粮高度6.5 m以上的超高大平房仓相对堆高6 m的高大平房仓具有节约土地,单位仓容建仓成本低,储粮度
“游”是中国古典美学的重要范畴之一，中国传统文化中的儒、道、禅三家是“游”范畴的重要文化渊源。“游”范畴经历了一个长期的审美演进历史，并形成了其区别于其他范畴的审美
随着我国高等教育招生规模的不断扩大,每年进入就业市场的高校医学毕业生数量持续增加,医学毕业生就业问题已经引起了全社会的普遍关注。本文从多个方面客观的分析了医学毕业
目的 探讨基层医院PICC专科护理门诊的开设及效果.方法 在开设PICC专科护理门诊前后各抽取PICC置管患者150例,评价PICC一次置管成功率,并发症的发生情况及患者满意度.结果 PI