Report copyright - Formal Foundations of 3D Geometry to Model Robot Manipulators · tional Geometry and Object Modeling]: Hierarchy and geo-metric transformations Keywords Formal verification, Proof-assistant,
Please pass captcha verification before submit form