Reynald Affeldt, Cyril Cohen: Formal foundations of 3D geometry to model robot manipulators. CPP 2017: 30-42