This folder contains the MATLAB code used for the paper "Stability and  Uniqueness of Slowly Oscillating Periodic Solutions to Wright's Equation" by J. Jaquette, J.-P. Lessard, and K. Mischaikow.

The codes require installing and starting the interval arithmetic package INTLAB.


main_1.m -- Produces the proof of Theorem 1.3 over the range 1.90 < alpha < 1.96 using the first set of computational parameters. 

main_2.m -- Produces the proof of Theorem 1.3 over the range 1.96 < alpha < 2.10 using the second set of computational parameters. 

main_3.m -- Produces the proof of Theorem 1.3 over the range 2.10 < alpha < 6.00 using the third set of computational parameters.

(Note: If you un-comment lines 108 & 109 in BranchAndBound.m, then it will create a figure of the most recent bounding function which was not able to be rejected.)


main_Period.m -- Produces the proof of Corollary 3.12.

Tight_Floquet.m -- Produces the non-rigorous bound on the Floquet multipliers discussed at the end of Section 6. 

