Robert Szczelina, Piotr Zgliczynski. Algorithm for Rigorous Integration of Delay Differential Equations and the Computer-Assisted Proof of Periodic Orbits in the Mackey-Glass Equation. Foundations of Computational Mathematics, 18(6):1299-1332, 2018. [doi]
Abstract is missing.