Geometry

Certified Polyhedral Descriptions of Configuration Space
Provable correct descriptions of Configuration Space for collision-free motion planning
Code Interactive Python Notebooks
Certified Polyhedral Descriptions of Configuration Space
Certifying Trajectories in Seconds
TODO