Automated Generation of Readable Proofs for Constructive Geometry Statements with the Mass Point Method.
Yu ZouJingzhong ZhangPublished in: Automated Deduction in Geometry (2010)
Keyphrases
- experimental evaluation
- detection method
- clustering method
- significant improvement
- synthetic data
- decision trees
- high precision
- high accuracy
- classification method
- support vector machine
- fully automatic
- preprocessing
- objective function
- optimization method
- theorem proving
- geometric features
- data sets
- generation method
- segmentation method
- input data
- probabilistic model
- dynamic programming
- pairwise
- bayesian networks
- neural network