Search Results - RepositoryStats

2 results found Sort:

307

other

Library for validated numerics using interval arithmetic

julia rigorous-numerics interval-arithmetic

Created 2017-04-02

1,306 commits to master branch, last one 7 days ago

201

mit

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,988 commits to master branch, last one 5 days ago