Respected readers, authors and reviewers, you can add comments to this page on any questions about the contribution, review, editing and publication of this journal. We will give you an answer as soon as possible. Thank you for your support!
XUE Li, HOU Xiao-rong. Automated Geometric Theorem Search MethodBased on Numeric Computation(Chinese)[J]. Journal of East China Normal University (Natural Sciences), 2006, (1): 87-91.
Citation:
XUE Li, HOU Xiao-rong. Automated Geometric Theorem Search MethodBased on Numeric Computation(Chinese)[J]. Journal of East China Normal University (Natural Sciences), 2006, (1): 87-91.
XUE Li, HOU Xiao-rong. Automated Geometric Theorem Search MethodBased on Numeric Computation(Chinese)[J]. Journal of East China Normal University (Natural Sciences), 2006, (1): 87-91.
Citation:
XUE Li, HOU Xiao-rong. Automated Geometric Theorem Search MethodBased on Numeric Computation(Chinese)[J]. Journal of East China Normal University (Natural Sciences), 2006, (1): 87-91.
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.