Automated Deduction In Geometry door Dongming Wang & Xiao-Shan Gao