Symbolic implementation, in the Mathematica language, for deriving closed formulas for connection co