JuliaReach/LazySets.jl

Scalable symbolic-numeric set computations in Julia

语言：Julia · GitHub 星标：258 · Fork：42

话题：calculus · computational-geometry · convex-hull · convex-sets · formal-verification · geometry · geometry-algorithms · julia

在 GitHub 上查看原仓库