Gravar-mail: Symbolic computation of variational symmetries in optimal control