Research › Codes

A functional analytic approach to validated numerics for eigenvalues of delay equations

J.-P. Lessard and J.D. Mireles James
Journal of Computational Dynamics, 7(1): 123–158, 2020

PDF doi:10.3934/jcd.2020005 Publication [45]

Files

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

• Spectrum_Computation.zip (22 KB)
• dde_eigenvalueValidation.zip (3.4 KB)

The scripts are written in MATLAB; the rigorous parts require the interval arithmetic package INTLAB to be installed and started.