Keyword: computer algebra