Title: Design and Implementation of Symbolic Computation Systems