Challenges in Symbolic Computation Software