Symbolic Computation in Software Science | lit.salon