## Computer assisted
Fourier analysis in sequence spaces of varying
regularity
Jean-Philippe
Lessard and Jason D. Mireles James |

The paper in its pdf form can be found here.

Here are the MATLAB codes to perform the computer-assisted proofs. They require installing and starting the interval arithmetic package INTLAB.

- Here, find the codes for the
proofs in the $C^k$ category and in the
analytic category.