Research › Codes

Rigorous verification of Hopf bifurcations in functional differential equations

K. Church and J.-P. Lessard
Physica D, Volume 429, Paper No. 133072, 2022

PDF doi:10.1016/j.physd.2021.133072 Publication [55]

Files

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

• codes.zip (42 KB)

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