Mitsuhiro T. Nakao, Michael Plum, Yoshitaka Watanabe

eBook, PDF

Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations (eBook, PDF)

Beschreibung

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

Technische Details

• Geräte: PC
• ohne Kopierschutz
• Größe: 13.07MB

Barrierefreiheit

• Text-to-Speech

Produktdetails

• Verlag: Springer Nature Singapore
• Seitenzahl: 467
• Erscheinungstermin: 11. November 2019
• Englisch
• ISBN-13: 9789811376696
• Artikelnr.: 58387521

Rezensionen

"Each chapter of the book is written in an excellent, easy-to-understand way, both in terms of items, proofs, and codes. The reader himself can easily check the simplicity and correctness of the codes." (Rózsa Horváth-Bokor, zbMATH 1462.65004, 2021)