Scalable symbolic-numeric set computations in Julia
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
-
Updated
Dec 13, 2024 - Julia