Formal Foundations of 3D Geometry to Model Robot Manipulators

The purpose of this webpage is to document the formalization of the foundations of robot manipulators discussed in the following documents:

• CPP 2017 paper
• JSSST 2016 paper

See github for the latest version of the Coq source code!

Acknowledgements:

• Grant-in-Aid for Scientific Research Number 15H02687, Kakenhi B ([2015-04-01 Wed]-[2018-10-31 Wed]).
• JSPS Bilateral Joint Research Project Number: 20203001