Following the analysis we have presented in a previous paper (that we refer to as [I]), we describe a Noether theorem related to symmetries, with the associated reduction procedures, for classical dynamics within the Lagrangian and the Hamilton–Jacobi formalism.