Research › Codes

Automatic differentiation for Fourier series and the radii polynomial approach

J.-P. Lessard, J.D. Mireles James and J. Ransford
Physica D, 334: 174–186, 2016

PDF doi:10.1016/j.physd.2016.02.007 Publication [28]

Files

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

• codes.zip (7.2 MB)

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