computational-geometry geometry physics polygons polyhedra shapes

Mathematics

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

Engineering (40%)

convex-hull fourier-motzkin-elimination julia optimization polyhedra polyhedral-computations polyhedron polytope polytopes

cdd polyhedra polyhedral-computations