Parallel Symbolic Computing