There are 1 repository under krawczyk topic.
Interval solver of systems of equations to find the workspace area of a robot