Visually Dynamic Presentation of Proofs in Plane Geometry - Part 1. Basic Features and the Manual Input Method.
Zheng YeShang-Ching ChouXiao-Shan GaoPublished in: J. Autom. Reason. (2010)
Keyphrases
- feature set
- geometric features
- prior knowledge
- three dimensional
- objective function
- classification method
- cost function
- classification accuracy
- neural network
- high accuracy
- support vector machine
- geometric constraints
- clustering method
- co occurrence
- image features
- significant improvement
- support vector machine svm
- feature vectors
- image retrieval
- pairwise
- similarity measure
- input features
- bilateral symmetry