Formal Foundations of 3D Geometry to Model Robot Manipulator


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

Coq source code:

This research is partially supported by a Grant-in-Aid for Scientific Research Number 15H02687, Kakenhi B ([2015-04-01 Wed]-[2018-03-31 Sat]).