Journal of East China Normal University(Natural Sc ›› 2006, Vol. 2006 ›› Issue (1): 87-91.

• Article • Previous Articles     Next Articles

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

CLC Number: