TY - RPRT TI - Computer-Assisted Proofs of Existence of Invariant Tori in Quasi-periodic Systems via Fourier Methods AU - Alex Haro AU - Eric Sandin Vidal PY - 2025 DO - 10.3934/dcdsb.2024143 UR - https://arxiv.org/abs/2403.18566 ID - 2403.18566 ER -