Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists tagged with interval-arithmetic
A curated list of projects in awesome lists tagged with interval-arithmetic .
https://github.com/flintlib/arb
Arb has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
arbitrary-precision c complex-numbers floating-point interval-arithmetic linear-algebra multiprecision number-theory special-functions
Last synced: 31 Jul 2024
https://github.com/google/autobound
AutoBound automatically computes upper and lower bounds on functions.
autodiff interval-arithmetic jax
Last synced: 01 Aug 2024
https://github.com/juliareach/reachabilityanalysis.jl
Computing reachable states of dynamical systems in Julia
automatic-control control-systems cyber-physical-systems differential-equations dynamical-systems flowpipe formal-verification hybrid-systems interval-arithmetic julia numerical-analysis ode reachability-analysis rigorous-numerics set-propagation simulations verification
Last synced: 30 Sep 2024
https://github.com/JuliaReach/ReachabilityAnalysis.jl
Computing reachable states of dynamical systems in Julia
automatic-control control-systems cyber-physical-systems differential-equations dynamical-systems flowpipe formal-verification hybrid-systems interval-arithmetic julia numerical-analysis ode reachability-analysis rigorous-numerics set-propagation simulations verification
Last synced: 31 Jul 2024