Symbolic Computation (cs.SC)