FACS 2024

Speaker

Gang Chen

Nanjing University of Aeronautics and Astronautics, China

Talks at this conference:
 Mon, 11:00 Coq Formalization of Orientation Representation: Matrix, Euler Angles, Axis-Angle and Quaternion

 Overview