Mitsuhiro T. Nakao · 1 obras en el catálogoObrasNumerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations