华东师范大学学报(自然科学版) ›› 2006, Vol. 2006 ›› Issue (1): 87-91.

• 计算机科学 • 上一篇    下一篇

基于数值计算的几何定理自动搜索方法

薛 利1, 侯晓荣2   

  1. 1.曲阜师范大学 计算机学院,日照 276826; 2.宁波大学 理学院,宁波 315211
  • 收稿日期:2004-06-01 修回日期:2004-11-27 出版日期:2006-01-25 发布日期:2006-01-25
  • 通讯作者: 薛 利

Automated Geometric Theorem Search MethodBased on Numeric Computation(Chinese)

XUE Li1， HOU Xiao-rong2   

  1. 1. Department of Computer,Qufu Normal University, Rizhao 276826, China;2. Faculty of Science, Ningbo University, Ningbo 315211, China
  • Received:2004-06-01 Revised:2004-11-27 Online:2006-01-25 Published:2006-01-25
  • Contact: XUE Li

摘要： 该文提出了利用数值方法进行几何定理自动搜索的方法，并基于此方法开发了几何定理动态搜索系统.该系统不但可以证明构造性的初等平面几何命题，而且也实现了对非构造性几何命题的定理搜索.

关键词: 自动推理, 数值计算, 例证法, 非构造性问题, 自动推理, 数值计算, 例证法, 非构造性问题

Abstract:

A new method based on numeric computation for automated geometric theorem proving and discovering is shown. And a dynamic searching system of geometric theorem has been implemented,which can solve elementary geometric problems efficiently, including some non-constructive problems.

Key words: numeric computation, prove by examples, non-constructive problems, automated reasoning, numeric computation, prove by examples, non-constructive problems

中图分类号: