DynIbex swMATH ID: 33002 Software Authors: Julien Alexandre dit Sandretto, Alexandre Chapoutot, Olivier Mullier Description: DynIbex is a plug-in of Ibex library which is a library for constraint processing over real numbers. DynIbex offers a set of validated numerical integration methods based on Runge-Kutta schemes to solve initial value problem of ordinary differential equations and for DAE in Hessenberg index 1 form. Homepage: https://perso.ensta-paris.fr/~chapoutot/dynibex/ Related Software: Flow*; Codac; Acumen; JuliaReach; IBEX; ValEncIA-IVP; PHAVer; GRKLib; SCOTS; PESSOA; ODEIntegrator; SpaceEx Cited in: 3 Publications all top 5 Cited by 10 Authors 2 Fribourg, Laurent 2 Le Coënt, Adrien 1 Alexandre dit Sandretto, Julien 1 Chamoin, Ludovic 1 Chapoutot, Alexandre 1 Damers, Julien 1 De Vuyst, Florian 1 Jaulin, Luc 1 Markey, Nicolas 1 Rohou, Simon Cited in 3 Serials 1 Automatica 1 Theoretical Computer Science 1 Formal Methods in System Design Cited in 1 Field 3 Systems theory; control (93-XX) Citations by Year