A Method for the Mechanical Derivation of Formulas in Elementary Geometry.
Shang-Ching ChouPublished in: J. Autom. Reason. (1987)
Keyphrases
- objective function
- significant improvement
- cost function
- high accuracy
- image processing
- synthetic data
- clustering method
- similarity measure
- computationally efficient
- fully automatic
- learning algorithm
- high precision
- detection algorithm
- probabilistic model
- experimental evaluation
- pairwise
- preprocessing
- decision trees