首页 | 本学科首页   官方微博 | 高级检索  
     

基于消点法的几何自动推理系统实现
引用本文:罗慧敏.基于消点法的几何自动推理系统实现[J].计算机应用,2008,28(11):2984-2986.
作者姓名:罗慧敏
作者单位:河南大学,计算机与信息工程学院,河南开封,475003;华中师范大学,教育信息技术工程研究中心,武汉,430079
摘    要:为了实现几何自动推理的可读性证明,并提高推理效率,介绍了一个基于消点法的可构造性几何命题自动推理系统的设计与实现。该系统提供作图的方式接受用户的几何命题前提条件的输入,可以对初等几何中的大部分可构造性几何问题进行自动证明和求解,并生成可读的证明步骤,大大方便了初高等几何教育和相关研究者的需要。

关 键 词:几何定理自动证明  自动推理  消点法  可构造性几何命题  构图
收稿时间:2008-05-22
修稿时间:2008-07-28

Realization of automatic reasoning system of geometry based on point-eliminating method
LUO Hui-min.Realization of automatic reasoning system of geometry based on point-eliminating method[J].journal of Computer Applications,2008,28(11):2984-2986.
Authors:LUO Hui-min
Affiliation:LUO Hui-min1,2(1.College of Computer , Information Engineering,Henan University,Kaifeng Henan 475003,China,2.Engineering Research Center for Education Information Technology,Huazhong Normal University,Wuhan Hubei 430079,China)
Abstract:In order to realize the readable proofs in geometry and improve the efficiency of reason, the design and implementation of an automatic reasoning system for structive geometry statements was introduced in the paper. Users can input the prerequisites of geometry statements by graphic-drawing method that the system provided. Most structive geometry statements in elementary geometry can be proved and resolved automatically with readable proofs, which can meet the needs of education and research on elementary or high geometry.
Keywords:automated geometry theorem proving  automated reasoning  point-eliminating method  structive geometry statements  graphic-drawing
本文献已被 CNKI 维普 万方数据 等数据库收录!
点击此处可从《计算机应用》浏览原始摘要信息
点击此处可从《计算机应用》下载全文
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号