Back to Search
Start Over
Automated Discovery of Geometric Theorems Based on Vector Equations.
- Source :
- Journal of Automated Reasoning; Aug2021, Vol. 65 Issue 6, p711-726, 16p
- Publication Year :
- 2021
-
Abstract
- 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 200 geometric problems shows that the geometric relationships discovered automatically by the proposed method are of obvious geometric meaning. [ABSTRACT FROM AUTHOR]
Details
- Language :
- English
- ISSN :
- 01687433
- Volume :
- 65
- Issue :
- 6
- Database :
- Complementary Index
- Journal :
- Journal of Automated Reasoning
- Publication Type :
- Academic Journal
- Accession number :
- 151066807
- Full Text :
- https://doi.org/10.1007/s10817-021-09591-2