Symbolic methods for the evaluation of sum rules of Bessel functions