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.