Reynald Affeldt, Cyril Cohen. Formal foundations of 3D geometry to model robot manipulators. In Yves Bertot, Viktor Vafeiadis, editors, Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs, CPP 2017, Paris, France, January 16-17, 2017. pages 30-42, ACM, 2017. [doi]
Abstract is missing.