Text this: Symbolic Computation in Software Science