Title: Symbolic Computation in Software Science