Nội dung này: Model reduction for constrained mechanical systems via spectral submanifolds