calculus geometry julia computational-geometry convex-hull lazy-evaluation polygons projections formal-verification polyhedra sets minkowski-sum reachability-analysis convex-sets geometry-algorithms zonotope set-propagation

computational-geometry geometry-processing meshes geometry-algorithms meshing-algorithms