Overview
This section of the manual describes the Cartesian decomposition algorithms and the approximation of high-dimensional convex sets using projections.
LazySets.Approximations — ModuleModule Approximations.jl – polygonal approximation of sets.