Mechanically Proving Geometry Theorems Using a Combination of Wu's Method and Collins' Method.
Nicholas Freitag McPheeShang-Ching ChouXiao-Shan GaoPublished in: CADE (1994)
Keyphrases
- preprocessing
- synthetic data
- clustering method
- experimental evaluation
- high accuracy
- cost function
- fully automatic
- computational cost
- dynamic programming
- significant improvement
- multiresolution
- main contribution
- matching algorithm
- theoretical analysis
- optimization algorithm
- pairwise
- three dimensional
- experimental study
- mathematical model
- neural network