Login / Signup

Ritt-Wu's Decomposition Algorithm and Geometry Theorem Proving.

Shang-Ching ChouXiao-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