## Rigorous continuation
of bifurcation points in the diblock copolymer
equation
Jean-Philippe Lessard,
Evelyn Sander and Thomas Wanner. |

The paper in its pdf form can be found here.

Here are the MATLAB codes to perform the computer-assisted proofs of Theorem 6 and Theorem 7.

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