Equilibrium validation in models for pattern formation based on Sobolev embeddings. - Sander, Evelyn; Wanner, Thomas (Discrete & Continuous Dynamical Systems - Series B, 2021)