Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential EquationsMitsuhiro T. Nakao, Yoshitaka Watanabe, Michael Plum149,79 €
