Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -In the last decades, various mathematical problems have been solved by computer-assisted proofs, among them the Kepler conjecture, the existence of chaos, the existence of the Lorenz attractor, the famous four-color problem, and more. In many cases, computer-assisted proofs have the remarkable advantage (compared with a 'theoretical' proof) of additionally providing accurate quantitative information.The authors have been working more than a quarter century to establish methods for the verified computation of solutions for partial differential equations, mainly for nonlinear elliptic problems of the form - u=f(x,u, u) with Dirichlet boundary conditions. Here, by 'verified computation' is meant a computer-assisted numerical approach for proving the existence of a solution in a close and explicit neighborhood of an approximate solution. The quantitative information provided by these techniques is also significant from the viewpoint of a posteriori error estimates for approximate solutions of the concerned partial differential equations in a mathematically rigorous sense.In this monograph, the authors give a detailed description of the verified computations and computer-assisted proofs for partial differential equations that they developed. In Part I, the methods mainly studied by the authors Nakao and Watanabe are presented. These methods are based on a finite dimensional projection and constructive a priori error estimates for finite element approximations of the Poisson equation. In Part II, the computer-assisted approaches via eigenvalue bounds developed by the author Plum are explained in detail. The main task of this method consists of establishing eigenvalue bounds for the linearization of the corresponding nonlinear problem at the computed approximate solution. Some brief remarks on other approaches are also given in Part III. Each method in Parts I and II is accompanied by appropriate numerical examples that confirm the actual usefulness of theauthors' methods. Also in some examples practical computer algorithms are supplied so that readers can easily implement the verification programs by themselves. 484 pp. Englisch. Bestandsnummer des Verk�ufers 9789811376719

Verk�ufer kontaktieren

Neu kaufen

EUR 149,79

W�hrung umrechnen

Versand: EUR 23,00

Von Deutschland nach USA

Versandziele, Kosten & Dauer

Anzahl: 2 verf�gbar

In den Warenkorb

Foto des Verk�ufers

Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations

Mitsuhiro T. Nakao|Michael Plum|Yoshitaka Watanabe

Verlag: Springer Nature Singapore, 2020

ISBN 10: 9811376719 ISBN 13: 9789811376719

Neu Softcover

Print-on-Demand

Anbieter: moluna, Greven, Deutschland

Verk�uferbewertung 5 von 5 Sternen

Zustand: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Is the first published monograph on computer-assisted proofsPresents pioneering work on the numerical verification method of solution for partial differential equationsProvides verification techniques. Bestandsnummer des Verk�ufers 449938573

Verk�ufer kontaktieren

Neu kaufen

EUR 127,40

W�hrung umrechnen

Versand: EUR 48,99

Von Deutschland nach USA

Versandziele, Kosten & Dauer

Anzahl: Mehr als 20 verf�gbar

In den Warenkorb

Foto des Verk�ufers

Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations

Mitsuhiro T. Nakao

Verlag: Springer Nature Singapore, Springer Nature Singapore, 2020

ISBN 10: 9811376719 ISBN 13: 9789811376719

Neu Taschenbuch

Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland

Verk�uferbewertung 5 von 5 Sternen

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - In the last decades, various mathematical problems have been solved by computer-assisted proofs, among them the Kepler conjecture, the existence of chaos, the existence of the Lorenz attractor, the famous four-color problem, and more. In many cases, computer-assisted proofs have the remarkable advantage (compared with a 'theoretical' proof) of additionally providing accurate quantitative information.The authors have been working more than a quarter century to establish methods for the verified computation of solutions for partial differential equations, mainly for nonlinear elliptic problems of the form - u=f(x,u, u) with Dirichlet boundary conditions. Here, by 'verified computation' is meant a computer-assisted numerical approach for proving the existence of a solution in a close and explicit neighborhood of an approximate solution. The quantitative information provided by these techniques is also significant from the viewpoint of a posteriori error estimates for approximate solutions of the concerned partial differential equations in a mathematically rigorous sense.In this monograph, the authors give a detailed description of the verified computations and computer-assisted proofs for partial differential equations that they developed. In Part I, the methods mainly studied by the authors Nakao and Watanabe are presented. These methods are based on a finite dimensional projection and constructive a priori error estimates for finite element approximations of the Poisson equation. In Part II, the computer-assisted approaches via eigenvalue bounds developed by the author Plum are explained in detail. The main task of this method consists of establishing eigenvalue bounds for the linearization of the corresponding nonlinear problem at the computed approximate solution. Some brief remarks on other approaches are also given in Part III. Each method in Parts I and II is accompanied by appropriate numerical examples that confirm the actual usefulness of theauthors' methods. Also in some examples practical computer algorithms are supplied so that readers can easily implement the verification programs by themselves. Bestandsnummer des Verk�ufers 9789811376719

Verk�ufer kontaktieren

Neu kaufen

EUR 153,90

W�hrung umrechnen

Versand: EUR 31,63

Von Deutschland nach USA

Versandziele, Kosten & Dauer

Anzahl: 1 verf�gbar

In den Warenkorb

Beispielbild f�r diese ISBN

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

Nakao, Mitsuhiro T.; Plum, Michael; Watanabe, Yoshitaka

Verlag: Springer, 2020

ISBN 10: 9811376719 ISBN 13: 9789811376719

Neu Softcover

Anbieter: California Books, Miami, FL, USA

Verk�uferbewertung 5 von 5 Sternen

Zustand: New. Bestandsnummer des Verk�ufers I-9789811376719

Verk�ufer kontaktieren

Neu kaufen

EUR 190,60

W�hrung umrechnen

Versand: Gratis

Innerhalb der USA

Versandziele, Kosten & Dauer

Anzahl: Mehr als 20 verf�gbar

In den Warenkorb

Beispielbild f�r diese ISBN

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

Nakao, Mitsuhiro T., Plum, Michael, Watanabe, Yoshitaka

Verlag: Springer, 2020

ISBN 10: 9811376719 ISBN 13: 9789811376719

Neu Paperback

Anbieter: Mispah books, Redhill, SURRE, Vereinigtes K�nigreich

Verk�uferbewertung 4 von 5 Sternen

Paperback. Zustand: New. New. book. Bestandsnummer des Verk�ufers ERICA80098113767196

Verk�ufer kontaktieren

Neu kaufen

EUR 162,92

W�hrung umrechnen

Versand: EUR 29,73

Von Vereinigtes K�nigreich nach USA

Versandziele, Kosten & Dauer

Anzahl: 1 verf�gbar

In den Warenkorb

Beispielbild f�r diese ISBN

Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations

Michael Plum Mitsuhiro T. Nakao

Verlag: Springer, 2020

ISBN 10: 9811376719 ISBN 13: 9789811376719

Neu Softcover

Anbieter: Books Puddle, New York, NY, USA

Verk�uferbewertung 4 von 5 Sternen

Zustand: New. pp. 467. Bestandsnummer des Verk�ufers 26390094308

Verk�ufer kontaktieren

Neu kaufen

EUR 202,57

W�hrung umrechnen

Versand: EUR 3,57

Innerhalb der USA

Versandziele, Kosten & Dauer

Anzahl: 4 verf�gbar

In den Warenkorb

Beispielbild f�r diese ISBN

NUMERICAL VERIFICATION METHODS AND COMPUTER ASSISTED PROOFS FOR PARTIAL DIFFERENTIAL EQUATIONS (PB 2019)

NAKAO M.T.

Verlag: SPRINGER NP, 2019

ISBN 10: 9811376719 ISBN 13: 9789811376719

Neu Softcover

Anbieter: UBH books Store, CASPER, WY, USA

Verk�uferbewertung 5 von 5 Sternen

Zustand: NEW. Brand New! Fast Delivery, Delivery With In 8-12 working Day Only , USA Edition Original Edition. Excellent Quality, Printing In English Language, Quick delivery by FEDEX & DHL. USPS & UPS Act. Our courier service is not available at PO BOX& APO BOX. Ship from India & United States. Bestandsnummer des Verk�ufers CBSBOOKS25764

Verk�ufer kontaktieren