Research › Codes

Parameterization of unstable manifolds for DDEs: formal series solutions and validated error bounds

O. Hénot, J.-P. Lessard and J.D. Mireles James
Journal of Dynamics and Differential Equations, 34(2): 1285–1324, 2022

PDF doi:10.1007/s10884-021-10002-8 Publication [53]

Files

Codes and data accompanying the paper, reproducing the computer-assisted proofs it reports.

• codes_proofs.zip (5.8 KB)

The proofs are carried out in Julia; see the readme inside the archive for the packages the notebook needs.