Seol mar théacs é seo: Automated deduction in equational logic and cubic curves /