Probably better to cite the version of Mathematica actually used. That said, I certainly agree it is good to cite the software whenever that aspect of the contribution is significant (as would be the case here).
