Design and Implementation of Symbolic Computation Systems