Mechanical Geometry Theorem Proving by Chou, Shang-Ching