论文部分内容阅读
在可持续发展的几何自动推理平台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软件,根据工程实际中的土壤结构,通过对故障电流流入变电站的
随着互联网的发展.我们已经步入了一个信息技术时代,信息技术现在已经广泛应用于各个领域,中职教育为我们国家培养了大量专业化人才,关注中职院校教学工作,将信息技术更好的
对已经病理证实为鳞癌的未经任何治疗的男型秃发肺癌患才作外周血染色体检查，发现亚二倍体细胞，超二倍体细胞明显增高。且有结构异常：１号环形染色体，２号巨大亚中着丝粒标记染色体。
近年来,虽然注册翻转课堂的学习者人数很多,但是活跃的用户很少,课堂的监督机制也存在一定漏洞,使学习者的积极性下降导致通过率不断降低,使翻转课堂对学习者的知识构建效果