Automated Geometry Theorem Proving by Vector Calculation.

Shang-Ching Chou, Xiao-Shan Gao, Jing-Zhong Zhang

Browse the full ISSAC paper archive.