Research › Codes
Continuation of solutions and studying delay differential equations via rigorous numerics
J.-P. Lessard
Rigorous numerics in dynamics, 81–122, Proc. Sympos. Appl. Math., 74, Amer. Math. Soc., Providence, RI, 2018
PDF doi:10.1090/psapm/074/03 Publication [41]
Files
Codes and data accompanying the paper, reproducing the computer-assisted proofs it reports.
- codes.zip (132 KB)
codes/ — 26 files (125 KB)
- delayed_vdP/DF_delayed_vdP.m (1.1 KB)
- delayed_vdP/F_delayed_vdP.m (565 B)
- delayed_vdP/Newton_F_delayed_vdP.m (684 B)
- delayed_vdP/cubic.m (286 B)
- delayed_vdP/dF_dlambda_delayed_vdP.m (280 B)
- delayed_vdP/padding.m (444 B)
- delayed_vdP/plot_periodic_complex.m (669 B)
- delayed_vdP/pt0_branch1.mat (661 B)
- delayed_vdP/pt0_branch2.mat (524 B)
- delayed_vdP/quadratic.m (222 B)
- delayed_vdP/radii_polynomials_delayed_vdP.m (6.7 KB)
- delayed_vdP/script_proof1.m (1009 B)
- delayed_vdP/script_proof2.m (993 B)
- delayed_vdP/symmetrize_A.m (644 B)
- delayed_vdP/symmetrize_x.m (109 B)
- delayed_vdP/validated_continuation_delayed_vdP.m (2.0 KB)
- lorenz84/DF_lorenz84.m (245 B)
- lorenz84/F_lorenz84.m (222 B)
- lorenz84/bistability_lorenz84.fig (104 KB)
- lorenz84/continuation_lorenz84.m (337 B)
- lorenz84/iDF_lorenz84.m (273 B)
- lorenz84/iF_lorenz84.m (260 B)
- lorenz84/newton_lorenz84.m (411 B)
- lorenz84/pts.mat (636 B)
- lorenz84/radii_polynomial_lorenz84.m (1.5 KB)
- lorenz84/script_proof_lorenz.m (511 B)
The scripts are written in MATLAB; the rigorous parts require the interval arithmetic package INTLAB to be installed and started.