DS17 - MS25-2: Validated Saddle-node Bifurcations and Applications to Lattice Dynamical Systems(PDF) 2017-SIAM-DS17-MS25-2-016.pdf