Login / Signup

Automated Geometry Theorem Proving by Vector Calculation.

Shang-Ching ChouXiao-Shan GaoJing-Zhong Zhang
Published in: ISSAC (1993)
Keyphrases
  • geometry theorem proving
  • theorem proving
  • fully automated
  • semi automated
  • automated analysis
  • semi automatic
  • database
  • neural network
  • data mining
  • computer vision
  • feature vectors
  • color images
  • sparse matrix