Recent advances in rigorous computation of Poincaré maps
In this article we present recent advances on interval methods for rigorous computation of Poincaré maps. We also discuss the impact of choice of Poincaré section and coordinate system on obtained bounds for computing Poincaré map nearby fixed points.
READ FULL TEXT