@misc{indiciae22330cece24f,
  title = {Computer Assisted Proof for Normally Hyperbolic Invariant Manifolds},
  author = {Maciej J. Capinski and Carles Simo},
  year = {2011},
  doi = {10.1088/0951-7715/25/7/1997},
  url = {https://arxiv.org/abs/1105.1277},
  note = {Source identifier: 1105.1277}
}