rigorous-numerics topic
List
rigorous-numerics repositories
ReachabilityAnalysis.jl
186
Stars
17
Forks
Watchers
Computing reachable states of dynamical systems in Julia
IntervalArithmetic.jl
283
Stars
70
Forks
Watchers
Library for validated numerics using interval arithmetic
RadiiPolynomial.jl
24
Stars
5
Forks
24
Watchers
Library for computer-assisted proofs in dynamical systems