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