首页> 中文期刊>计算机应用 >基于消点法的几何自动推理系统实现

基于消点法的几何自动推理系统实现

开具论文收录证明 >>

期刊封面封底目录下载 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

为了实现几何自动推理的可读性证明,并提高推理效率,介绍了一个基于消点法的可构造性几何命题自动推理系统的设计与实现.该系统提供作图的方式接受用户的几何命题前提务件的输入,可以对初等几何中的大部分可构造性几何问题进行自动证明和求解,并生成可读的证明步骤,大大方便了初高等几何教育和相关研究者的需要.

著录项

来源
《计算机应用》|2008年第11期|2984-2986|共3页
作者
罗慧敏;
展开▼
作者单位

河南大学,计算机与信息工程学院,河南开封,475003;

华中师范大学,教育信息技术工程研究中心,武汉,430079;

展开▼
原文格式 PDF
正文语种 chi
中图分类自动推理、机器学习;
关键词
几何定理自动证明; 自动推理; 消点法; 可构造性几何命题; 构图;
入库时间 2022-08-18 05:01:43

相似文献

中文文献
外文文献
专利

1. 双向推理系统在初等几何自动解题中的实现 [J] . 徐茜 . 计算机应用研究 . 2004,第011期
2. 基于Rete算法的几何自动推理系统 [J] . 江建国 ,张景中 . 四川大学学报（工程科学版） . 2006,第003期
3. 基于APC的次协调自动推理系统的设计与实现 [J] . 朱三元 ,朱福喜 . 计算机工程与设计 . 2007,第022期
4. 几何自动推理系统发展研究 [J] . 刘颖奇 ,黄勇 . 山西广播电视大学学报 . 2010,第003期
5. 平面解析几何交互推理系统的设计与实现 [J] . 曹忠 ,李传中 ,赵文静 . 广州大学学报（自然科学版） . 2008,第001期
6. 生物发酵连消、水消工艺自动化控制的实现与方法 [C] . 李献军 . 2013中国生物发酵产业年会 . 2013
7. 基于规则引擎的平面几何推理系统的设计与实现 [A] . 温金彪 . 2016

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号