This book is the first publication in the world as a monograph on the concerned research fieldNakao and Plum are pioneers of the numerical verification method of solution for PDEs This book offers the basic principle of verification techniques for PDEs as well as interested applications for computer assisted proofs of nonlinear problems
Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations Ebook
By: Mitsuhiro T. Nakao; Michael Plum; Yoshitaka Watanabe
Publisher:
Springer
Print ISBN: 9789811376689, 9811376689
eText ISBN: 9789811376696, 9811376697
Copyright year: 2019
Format: EPUB
Available from $ 129.00 USD
SKU: 9789811376696
