Automated Deduction In Geometry by