Overall Objectives
Research Program
Highlights of the Year
New Software and Platforms
New Results
Partnerships and Cooperations
XML PDF e-pub
PDF e-Pub

Section: New Results

Formal foundations of 3D geometry for robot manipulators

Participants : Cyril Cohen, Reynald Affeldt [AIST, Japan] .

We resumed our collaboration with the team at AIST for the formal description of robotics aspects [7]. Reynald Affeldt visited Sophia Antipolis for 10 days during which we improved the connection between our library for algebra and the Coquelicot library for analysis.