Automated Discovery of Geometric Theorems Based on Vector Equations.

Xicheng Peng Qihang Chen Jingzhong Zhang Mao Chen

Published in: J. Autom. Reason. (2021)

Keyphrases

automated discovery
knowledge discovery
feature vectors
differential equations
geometric structure
mathematical model
linear systems
numerical solution
linear equations
nonlinear equations
clustering algorithm
computer vision
real world
information retrieval
numerical methods
geometric features
data mining