Formal Foundations of 3D Geometry to Model Robot Manipulators

scara

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-2018/03/31).