@misc{indiciaedb59e6326bc6, title = {Computer-Assisted Proofs of Existence of Invariant Tori in Quasi-periodic Systems via Fourier Methods}, author = {Alex Haro and Eric Sandin Vidal}, year = {2025}, doi = {10.3934/dcdsb.2024143}, url = {https://arxiv.org/abs/2403.18566}, note = {Source identifier: 2403.18566} }