1 result found Sort:

JuliaReach
LazySets.jl JuliaReach
32
226
other
9
Scalable symbolic-numeric set computations in Julia
sets julia calculus geometry polygons zonotope polyhedra convex-hull convex-sets projections minkowski-sum lazy-evaluation set-propagation formal-verification geometry-algorithms reachability-analysis computational-geometry
Created 2017-10-03
5,642 commits to master branch, last one 13 hours ago