LazySets (julia): Scalable Symbolic-Numeric Set Computations
Keywords: projections|polygons|minkowski-sum|julia|reachability-analysis|formal-verification|convex-sets|convex-hull|set-propagation|calculus|sets|geometry|geometry-algorithms|computational-geometry|zonotope|lazy-evaluation|polyhedra