Rigorous numerics for the Cahn-Hilliard equation on the unit square. Stanislaus Maier- Paape; Ulrich Miller; Konstantin Mischaikow; Thomas Wanner — 2008 Revista Matemática Complutense