Mechanical Geometry Theorem Proving door Chou, Shang-Ching