期刊论文

Mao Chen

英文

Journal of Automated Reasoning

0168-7433

2021

65

6

711-726

10.1007/s10817-021-09591-2

This work was financially supported by the National Natural Science Foundation of China (Grant No. 62077019, 41671377), National Key R&D Program of China (Grant No. 2017YFB1401300). We are grateful to the reviewers for their useful comments and suggestions which helped us to significantly improve the paper.

本校为第一机构

Automated discovery of geometric theorems has attracted considerable attention from the research community. In this paper, a new method is proposed to discover geometric theorems automatically. This method first generates vector equations based on given geometric relations about a geometric figure and then transforms the vector equations into a system of homogeneous linear equations; after computing the determinants of the coefficient matrices corresponding to the system of equations, the elimination method is applied to obtain a large number of geometric relationships. The test on more than 2...