Languages
Nakao, Mitsuhiro T.
Overview
| Works: | 1 works in 1 publications in 1 languages | |
|---|---|---|
Titles
Numerical verification methods and computer-assisted proofs for partial differential equations
by:
Nakao, Mitsuhiro T.; Plum, Michael.; SpringerLink (Online service); Watanabe, Yoshitaka.
(Electronic resources)