Normal view
MARC view
Mitsuhiro T. Nakao, Michael Plum, Yoshitaka Watanabe(Personal Name)
Machine generated authority record
Work cat.: (OSt)1643082: Mitsuhiro T. Nakao, Michael Plum, Yoshitaka Watanabe, Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations