ZhengPu Shi, Gang Chen. Coq Formalization of Orientation Representation: Matrix, Euler Angles, Axis-Angle and Quaternion. In Diego Marmsoler, Meng Sun 0002, editors, Formal Aspects of Component Software - 20th International Conference, FACS 2024, Milan, Italy, September 9-10, 2024, Proceedings. Volume 15189 of Lecture Notes in Computer Science, pages 79-96, Springer, 2024. [doi]
Abstract is missing.