TY  - RPRT
TI  - Computer Assisted Proof for Normally Hyperbolic Invariant Manifolds
AU  - Maciej J. Capinski
AU  - Carles Simo
PY  - 2011
DO  - 10.1088/0951-7715/25/7/1997
UR  - https://arxiv.org/abs/1105.1277
ID  - 1105.1277
ER  -