DynIBEX: a Differential Constraint Library for Studying Dynamical Systems
Alexandre dit Sandretto, Julien ; Chapoutot, Alexandre
HAL, hal-01302504 / Harvested from HAL
Text on HAL
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
Publié le : 2016-04-12
Classification:  [INFO.INFO-NA]Computer Science [cs]/Numerical Analysis [cs.NA],  [MATH.MATH-CT]Mathematics [math]/Category Theory [math.CT] 
@article{hal-01302504,
     author = {Alexandre dit Sandretto, Julien and Chapoutot, Alexandre},
     title = {DynIBEX: a Differential Constraint Library for Studying Dynamical Systems},
     journal = {HAL},
     volume = {2016},
     number = {0},
     year = {2016},
     language = {en},
     url = {http://dml.mathdoc.fr/item/hal-01302504}
}

Alexandre dit Sandretto, Julien; Chapoutot, Alexandre. DynIBEX: a Differential Constraint Library for Studying Dynamical Systems. HAL, Tome 2016 (2016) no. 0, . http://gdmltest.u-ga.fr/item/hal-01302504/