Symbolic Computation for Nonlinear