Speaker
Zhengpu Shi
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 |
Speaker
Nanjing University of Aeronautics and Astronautics, China
| Mon, 11:00 | Coq Formalization of Orientation Representation: Matrix, Euler Angles, Axis-Angle and Quaternion |