This page contains links to Supplementary Online Material associated with the paper "Pattern Solutions of the Klausmeier Model for Banded Vegetation in Semi-Arid Environments II: Patterns with the Largest Possible Propagation Speeds" by J.A. Sherratt

A MAPLE procedure that calculates the normal form equation for the solution amplitude near the Hopf bifurcation point; this constitutes the proof of the proposition in Section 4 of the paper.