Topic: "rigorous-numerics"
JuliaIntervals/IntervalArithmetic.jl
Library for validated numerics using interval arithmetic
Language: Julia - Size: 4.3 MB - Last synced at: 7 days ago - Pushed at: 12 days ago - Stars: 313 - Forks: 70
JuliaReach/ReachabilityAnalysis.jl
Computing reachable states of dynamical systems in Julia
Language: Julia - Size: 13.8 MB - Last synced at: 3 days ago - Pushed at: about 1 month ago - Stars: 203 - Forks: 17
OlivierHnt/RadiiPolynomial.jl
Library for computer-assisted proofs in dynamical systems
Language: Julia - Size: 26.7 MB - Last synced at: about 22 hours ago - Pushed at: 25 days ago - Stars: 22 - Forks: 4
