TY - RPRT TI - Computer assisted proofs for hyperbolic quasi-periodic invariant tori in dissipative twist maps AU - Victor Linroth PY - 2023 UR - https://arxiv.org/abs/2305.04640 ID - 2305.04640 ER -