Publisher
Springer Nature Switzerland
Reference18 articles.
1. Affeldt, R., Cohen, C.: Formal foundations of 3D geometry to model robot manipulators. In: Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs, pp. 30–42. ACM, Paris (2017). https://doi.org/10.1145/3018610.3018629
2. Chen, G.: Formalized mathematics and proof engineering (in chinese) 12(9) (2016). https://dl.ccf.org.cn/article/articleDetail.html?id=3738875402700800
3. Coq Development Team: Coq Proof Assistant. https://coq.inria.fr
4. Corke, P.: Robotics. Vision and Control. Springer, Heidelberg (2017). https://doi.org/10.1007/978-3-319-54413-7
5. Diebel, J.: Representing attitude: Euler angles, unit quaternions, and rotation vectors (2006). https://api.semanticscholar.org/CorpusID:16450526