Research › Codes

Polynomial interpolation and a priori bootstrap for computer-assisted proofs in nonlinear ODEs

M. Breden and J.-P. Lessard
Discrete and Continuous Dynamical Systems - Series B, 23(7):2825–2858, 2018

PDF arXiv:1704.03128 doi:10.3934/dcdsb.2018164 Publication [38]

Files

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

• Codes.zip (341 KB)

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