research
∙
06/28/2022
High-order Lohner-type algorithm for rigorous computation of Poincaré maps in systems of Delay Differential Equations with several delays
We present a Lohner-type algorithm for rigorous integration of systems o...
share
research
∙
04/16/2021
Recent advances in rigorous computation of Poincaré maps
In this article we present recent advances on interval methods for rigor...
research
∙
10/14/2020
CAPD::DynSys: a flexible C++ toolbox for rigorous numerical analysis of dynamical systems
We present the CAPD::DynSys library for rigorous numerical analysis of d...
research
∙
11/11/2017