论文部分内容阅读
针对几何定理自动证明的前推法实现方式，结合面向对象编程工具的特点，实现了一个原型系统。该系统结构简单、清晰，可扩展性强，并能产生可读证明过程。实例分析说明了该原型的有效性。
基于面向对象的几何定理自动证明系统设计与实现
【摘 要】
：
针对几何定理自动证明的前推法实现方式，结合面向对象编程工具的特点，实现了一个原型系统。该系统结构简单、清晰，可扩展性强，并能产生可读证明过程。实例分析说明了该原型的有效
【机 构】
：
河南大学软件学院,河南大学数据与知识工程研究所
【出 处】
：
计算机时代
【发表日期】
：
2012年7期
其他文献
<正>说到齐白石早期人物画的风格样式不得不说《芥子园画谱》对其的影响,他在自述中曾有:"光绪八年(壬午·一八八二),我二十岁……在一个主顾家中,无意间见到一部乾隆年间翻
<正>利用一些固化材料来激发淤泥活性、并且提升淤泥的强度,通过螺旋式淤泥固化机来实现淤泥原位固化的施工技术,即淤泥原位固化处理技术。由于其强度高、固化速度较快,因此,
现代化进程中，经济发展、政治民主、社会繁荣和文化建设都对文化产业提出了要求。文化产业是各民族和国家走向现代化的最新战略途径，是实现传统与现代、民族与世界，个性自由与社
本文对董事长、CEO、TMT三个层次的过度自信与公司财务决策的关系进行了比较分析。结果显示,董事长过度自信对公司投资、并购、融资和股利分配决策均具有显著影响;而CEO过度
现如今,国民经济正在持续不断的发展着,人们对于自己居住环境的要求也是更加严格了,特别是极为重视建筑中的水电安装这一工程。但是,目前我国在建筑上水电安装工程的技术并不
<正>今天,很多人只要一有点不舒服就会寻求药物的帮助,但近来的很多研究都发现,适当的饮食和运动才是对付疾病的最好办法。关节炎:方法之一就是减肥,以便减轻关节的疼痛。如
子宫内膜炎是奶牛产后常见临床疾病,发病率高,极大地损害着奶牛的繁殖性能,对奶牛养殖业造成严重的经济损失。为探究子宫内膜炎奶牛机体自身的分子病理学变化,本研究采用蛋白
<正> 在中国几千年封建社会中,究竟有没有过民主的因素?今天为人们深恶痛绝的官僚主义是怎样滋生、兴盛于封建专制的官僚制度之中的?以血缘为纽带的家族,宗族关系何以能生生