Symbolic Computation