Automated Theorem Proving in Incidence Geometry - A Bracket Algebra Based Elimination Method.

Hongbo Li Yihong Wu

Published in: Automated Deduction in Geometry (2000)

Keyphrases

high accuracy
high precision
pairwise
significant improvement
detection method
preprocessing
computational cost
clustering method
high level
objective function
dynamic programming
three dimensional
feature space
cost function
rough sets
theorem proving