ईमेल रिकॉर्ड: Automated Deduction in Geometry