A Trident Quaternion Framework for Inertial-Based Navigation Part I: Rigid Motion Representation and Computation | IEEE Journals & Magazine | IEEE Xplore