DynIBEX: a Differential Constraint Library for Studying Dynamical Systems
Abstract
A free open-source library combining validated numerical integration methods with a constraint programming approach, as a plugin of IBEX library with:
-validated integration methods based on Runge-Kutta for Ordinary Differential Equations (ODEs) and Differential Algebraic Equations (DAEs)
-operators for satisfaction problems on dynamical systems
Origin : Files produced by the author(s)
Loading...