GitHub topics: rigorous-numerics
JuliaIntervals/IntervalArithmetic.jl
Library for validated numerics using interval arithmetic
Language: Julia - Size: 4.12 MB - Last synced at: 8 days ago - Pushed at: 9 days ago - Stars: 307 - Forks: 70
OlivierHnt/RadiiPolynomial.jl
Library for computer-assisted proofs in dynamical systems
Language: Julia - Size: 26.5 MB - Last synced at: 14 days ago - Pushed at: 14 days ago - Stars: 21 - Forks: 3
JuliaReach/ReachabilityAnalysis.jl
Computing reachable states of dynamical systems in Julia
Language: Julia - Size: 12.9 MB - Last synced at: 1 day ago - Pushed at: 26 days ago - Stars: 200 - Forks: 17
