A geometric reduction procedure is presented for Lagrangian systems subject
ed to non-linear nonholonomic constraints in the presence of symmetries. Ou
r approach is based on a geometrical method which enables one to deduce the
constrained dynamics from the unconstrained one by projection. (1991) MS C
lassification: 58F05, 70H33, 70H35, 70H30.