67-5038-16 Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations 978-981-13-7671-9
仕様
- 商品名：Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations
- 著者：Nakao, Mitsuhiro T./Plum, Michael/Watanabe, Yoshitaka
- 叢書名：Springer Series in Computational Mathematics
- Vol. 53
- 装丁：Paper
- 頁数他：XIII, 467 p. 233 illus., 11 illus. in color.
- 発行日：2020/11/20
- 分類：数値解析
- 著者：Nakao, Mitsuhiro T./Plum, Michael/Watanabe, Yoshitaka
- 叢書名：Springer Series in Computational Mathematics
- Vol. 53
- 装丁：Paper
- 頁数他：XIII, 467 p. 233 illus., 11 illus. in color.
- 発行日：2020/11/20
- 分類：数値解析
