Utilizing retraction maps to construct feedback linearizable discretizations for second-order mechanical systems.