## 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.