DynIBEX: a Differential Constraint Library for Studying Dynamical Systems
Résumé
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
Origine | Fichiers produits par l'(les) auteur(s) |
---|
Loading...