2 results found Sort:

JuliaIntervals
IntervalArithmetic.jl JuliaIntervals
71
298
other
13
Library for validated numerics using interval arithmetic
julia rigorous-numerics interval-arithmetic
Created 2017-04-02
1,239 commits to master branch, last one 2 days ago
JuliaReach
ReachabilityAnalysis.jl JuliaReach
16
192
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,914 commits to master branch, last one 19 days ago