Symbolic Computation Software Research Articles