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