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