论文部分内容阅读
在可持续发展的几何自动推理平台SGARP中，通过添加全角法相关的对象、谓词和定理，在SGARP中成功实现了全角法。添加了全角法的SGARP测试证明了100个几何定理。
SGARP中全角法的实现
【摘 要】
：
在可持续发展的几何自动推理平台SGARP中，通过添加全角法相关的对象、谓词和定理，在SGARP中成功实现了全角法。添加了全角法的SGARP测试证明了100个几何定理。
【机 构】
：
贵州省教育科学院,广州大学计算机科学与教育软件学院
【出 处】
：
广西师范学院学报(自然科学版)
【发表日期】
：
2014年2期
其他文献
<正>根据人力资源社会保障部、财政部《关于从2014年10月1日起调整企业离休人员基本养老金的通知》(人社部发〔2015〕75号)精神,2015年9月22日,广西壮族自治区人力资源和社会
本报讯 2006年刚至，辽河油田科技创新领域迎来开门红：曙一区杜84块馆平11、12井组正式转入SAGD技术生产阶段近一年，一直保持稳产，平均日产量120吨，超过方案设计标准。这标志着辽
报纸
为贯彻落实好党的群众路线，深入开展好“服务农民工活动”，进一步营造关心关爱农民工的社会氛围，2014年1月10日，中共广西壮族自治区委员会办公厅、自治区人民政府办公厅印发《关
期刊
目的为了确定中药材关木通的最佳减毒方法 ,探讨不同炮制方法对中药材关木通中马兜铃酸的脱除效果。方法对中药材关木通进行姜炙、醋炙、蜜炙、甘草炙、碱制、炒炙、酒炙以及
如何发掘客户、留住客户，成了众多经理人苦苦思索的问题。对于朝阳产业的旅游公司来说，客户更是无比的重要。客户，是所有企业的衣食父母，“一个企业百分之八十的营业额来自百分之二十的客户”这句话，更是经常被众多知名营销学学者、讲师挂在嘴边。如何发掘客户、留住客户，成了众多经理人们苦苦思索的问题。CRM（客户关系管理），也随之成为了企业管理核心中的核心。 案例导入：客户关系管理的魅力 泰国的东方饭店堪称
为给接地系统的施工及技术改造提供一些理论依据,研究了影响接地系统安全的关键要素。采用加拿大SES公司的CDEGS软件,根据工程实际中的土壤结构,通过对故障电流流入变电站的
随着互联网的发展.我们已经步入了一个信息技术时代,信息技术现在已经广泛应用于各个领域,中职教育为我们国家培养了大量专业化人才,关注中职院校教学工作,将信息技术更好的
近年来,虽然注册翻转课堂的学习者人数很多,但是活跃的用户很少,课堂的监督机制也存在一定漏洞,使学习者的积极性下降导致通过率不断降低,使翻转课堂对学习者的知识构建效果