Login / Signup
Automated Generation of Geometry Proof Problems Based on Point Geometry Identity.
Lei Li
Zongkai Yang
Mao Chen
Xicheng Peng
Jianwen Sun
Zhonghua Yan
Sannyuya Liu
Published in:
J. Autom. Reason. (2024)
Keyphrases
</>
geometry theorem proving
theorem proving
three dimensional
optimization problems
decision trees
lower bound
geometric structure
neural network
genetic algorithm
information systems
high dimensional
linear programming
fully automated
geometric constraints
problems involving