Algebra for Symbolic Computation