Symbolic computation of variational symmetries in optimal control Paulo Gouveia; Delfim Torres; Eugénio Rocha — 2006 Control and Cybernetics