Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations (Springer Series in Computational Mathematics)

by: Mitsuhiro T. Nakao · Michael Plum · Yoshitaka Watanabe

Hardcover

details (USA).
(see also: eBook (Kindle))

details (UK).
(see also: eBook (Kindle))

details (Germany).
(see also: Kindle Ausgabe)

ISBN: 978-981-13-7668-9

ISBN-10: 981-13-7668-9

Springer · 2019