index.md

title	lang	header-includes
Formal Foundations for Modeling Robot Manipulators	en	<style type="text/css"> body {font-family: Arial, Helvetica; margin-left: 5em; font-size: large;} </style> <style type="text/css"> h1 {margin-left: 0em; padding: 0px; text-align: center} </style> <style type="text/css"> h2 {margin-left: 0em; padding: 0px; color: #580909} </style> <style type="text/css"> h3 {margin-left: 1em; padding: 0px; color: #C05001;} </style> <style type="text/css"> body { width: 1100px; margin-left: 30px; }</style>

View the project on GitHub

About

Welcome to the Formal Foundations for Modeling Robot Manipulators project website!

This repository contains an experimental library for the mathematics of rigid body transformations using the Coq proof-assistant and the Mathematical Components library.

This is an open source project, licensed under the LGPL-2.1-or-later.

Get the code

The current stable release of Formal Foundations for Modeling Robot Manipulators can be downloaded from GitHub.

Documentation

Related publications, if any, are listed below.

• Formal foundations of 3D geometry to model robot manipulators doi:10.1145/3018610.3018629

Help and contact

• Report issues on GitHub

Authors and contributors

• Reynald Affeldt, AIST
• Cyril Cohen, Inria
• Laurent Thery, Inria