Verified convex hull and distance computation for octree-encoded objects
scientific article; zbMATH DE number 5121431