Login / Signup
Ritt-Wu's Decomposition Algorithm and Geometry Theorem Proving.
Shang-Ching Chou
Xiao-Shan Gao
Published in:
CADE (1990)
Keyphrases
</>
decomposition algorithm
geometry theorem proving
theorem proving
decomposition method
working set
equality constraints
working set selection
recognition algorithm
computer vision
training data