SIAM NWCS26 tutorial :
Lecture notes : computer-assisted proof of existence of localized patterns in Swift-Hohenberg 1D
MATLAB code for the CAP