@misc{indiciae56c78773595a,
  title = {Computer assisted proofs for hyperbolic quasi-periodic invariant tori in dissipative twist maps},
  author = {Victor Linroth},
  year = {2023},
  url = {https://arxiv.org/abs/2305.04640},
  note = {Source identifier: 2305.04640}
}