Click Here to Download: https://ouo.io/xxM9jZ Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations 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 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
