Seol mar théacs é seo: Symbolic computation and education