2 results found Sort:

JuliaIntervals
IntervalArithmetic.jl JuliaIntervals
71
303
other
13
Library for validated numerics using interval arithmetic
julia rigorous-numerics interval-arithmetic
Created 2017-04-02
1,248 commits to master branch, last one 12 days ago
JuliaReach
ReachabilityAnalysis.jl JuliaReach
16
193
mit
10
Computing reachable states of dynamical systems in Julia
ode julia flowpipe simulations verification hybrid-systems control-systems set-propagation automatic-control dynamical-systems rigorous-numerics numerical-analysis formal-verification interval-arithmetic reachability-analysis cyber-physical-systems differential-equations
Created 2019-12-03
1,924 commits to master branch, last one 24 days ago