@article{lemezo:hal-01574711, TITLE = {{Bracketing the solutions of an ordinary differential equation with uncertain initial conditions}}, AUTHOR = {Le M{\'e}zo, Thomas and Jaulin, Luc and Zerr, Benoit}, URL = {https://hal.science/hal-01574711}, JOURNAL = {{Applied Mathematics and Computation}}, PUBLISHER = {{Elsevier}}, VOLUME = {318}, NUMBER = {1}, PAGES = {70-79}, YEAR = {2018}, DOI = {10.1016/j.amc.2017.07.036}, KEYWORDS = {ODE ; Abstract interpretation ; Dynamical systems ; Interval computation ; Infinity}, PDF = {https://hal.science/hal-01574711/file/ode_final.pdf}, HAL_ID = {hal-01574711}, HAL_VERSION = {v1}, }