Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations - Nakao, Mitsuhiro T.; Nakao, Mitsuhiro T.; Plum, Michael; Watanabe, Yoshitaka (Springer Singapore : Imprint: Springer, 2019)