Fabian Immler, Christoph Traut. The Flow of ODEs: Formalization of Variational Equation and Poincaré Map. Journal of Automated Reasoning, 62(2):215-236, 2019. [doi]
@article{ImmlerT19,
title = {The Flow of ODEs: Formalization of Variational Equation and Poincaré Map},
author = {Fabian Immler and Christoph Traut},
year = {2019},
doi = {10.1007/s10817-018-9449-5},
url = {https://doi.org/10.1007/s10817-018-9449-5},
researchr = {https://researchr.org/publication/ImmlerT19},
cites = {0},
citedby = {0},
journal = {Journal of Automated Reasoning},
volume = {62},
number = {2},
pages = {215-236},
}