JuliaReach/
A Julia package for calculus with convex sets
USD raised
Recent activities
Add parallelotope
convex_hull of polytopes
Use tolerance in membership test of Polyhedron
Boundedness check for polyhedra using Stiemke's Theorem of alternatives
Type instability in hyperrectangle split
Center along a given dimension of AbstractHyperrectangle
Faster intersection between a hyperrectangular set and an axis-aligned halfspace
Zonotope inclusion in hyperrectangle
Improve intersection of lines
Improve intersection for line segments
Dimensional check in zonotope constructor
Error in constraints_list of Zonotope for sparse generator matrix
Quadratic map of a zonotope
Refactor Zonotopes' reduce_order
NaNs in constraints list of Zonotope
Overapproximate a lazy affine map with a hyperrectangle
© 2019 BoostIO, Inc.