Title: Automated Deduction in Geometry