Seol mar théacs é seo: Automated deduction in geometry :