Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations by Mitsuhiro T. Nakao, Michael Plum, Yoshitaka Watanabe.

Збережено в:
Бібліографічні деталі
Автори: Nakao, Mitsuhiro T. (Автор), Plum, Michael (Автор), Watanabe, Yoshitaka (Автор)
Співавтор: SpringerLink (Online service)
Формат: eКнига
Мова:English
Опубліковано: Singapore : Springer Singapore : Imprint: Springer, 2019.
Редагування:1st ed. 2019.
Серія:Springer Series in Computational Mathematics, 53
Springer eBook Collection.
Предмети:
Онлайн доступ:Click to view e-book
Holy Cross Note:Loaded electronically.
Electronic access restricted to members of the Holy Cross Community.