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:

Coq source code: github

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