Zhenwei Ma, Gang Chen. Formal Derivation and Verification of Coordinate Transformations in Theorem Prover Coq. In International Conference on Dependable Systems and Their Applications, DSA 2017, Beijing, China, October 31 - November 2, 2017. pages 127-136, IEEE, 2017. [doi]
Abstract is missing.