Mitsuhiro T. Nakao

• Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations