Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations - Couverture souple
Livre 31 sur 33: Springer Computational Mathematics
Synopsis
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
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Autres éditions populaires du même titre
Résultats de recherche pour Numerical Verification Methods and Computer-Assisted...
Image d'archives
Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations (Springer Series in Computational Mathematics)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9789811376719_new
Acheter neuf
EUR 71,26
Frais de port :
EUR 13,56
De Royaume-Uni vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations
Edité par
Springer Verlag, Singapore, SG, 2020
ISBN 10 : 9811376719
ISBN 13 : 9789811376719
Neuf
Paperback
Vendeur : Rarewaves.com USA, London, LONDO, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : New. 2019 ed. 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. N° de réf. du vendeur LU-9789811376719
Acheter neuf
EUR 97,61
Frais de port :
Gratuit
De Royaume-Uni vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations (Springer Series in Computational Mathematics)
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur ABLIING23Apr0412070086625
Acheter neuf
EUR 150,51
Frais de port :
EUR 3,46
Vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations
Edité par
Springer Verlag, Singapore, SG, 2020
ISBN 10 : 9811376719
ISBN 13 : 9789811376719
Neuf
Paperback
Vendeur : Rarewaves.com UK, London, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : New. 2019 ed. 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. N° de réf. du vendeur LU-9789811376719
Acheter neuf
EUR 86,36
Frais de port :
EUR 73,57
De Royaume-Uni vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations
Edité par
Springer Nature Singapore Nov 2020, 2020
ISBN 10 : 9811376719
ISBN 13 : 9789811376719
Neuf
Taschenbuch
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : 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. N° de réf. du vendeur 9789811376719
Acheter neuf
EUR 149,79
Frais de port :
EUR 23
De Allemagne vers Etats-Unis
Quantité disponible : 2 disponible(s)
Image fournie par le vendeur
Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations
Edité par
Springer Nature Singapore, 2020
ISBN 10 : 9811376719
ISBN 13 : 9789811376719
Neuf
Couverture souple
Vendeur : moluna, Greven, Allemagne
Évaluation du vendeur 4 sur 5 étoiles
Etat : 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. N° de réf. du vendeur 449938573
Acheter neuf
EUR 127,40
Frais de port :
EUR 48,99
De Allemagne vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations (Springer Series in Computational Mathematics, 53)
Vendeur : Mispah books, Redhill, SURRE, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
Paperback. Etat : New. New. book. N° de réf. du vendeur ERICA80098113767196
Acheter neuf
EUR 155,04
Frais de port :
EUR 28,29
De Royaume-Uni vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. pp. 467. N° de réf. du vendeur 26390094308
Acheter neuf
EUR 194,64
Frais de port :
EUR 3,46
Vers Etats-Unis
Quantité disponible : 4 disponible(s)
Image fournie par le vendeur
Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations
Vendeur : preigu, Osnabrück, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations | Mitsuhiro T. Nakao (u. a.) | Taschenbuch | xiii | Englisch | 2020 | Springer Singapore | EAN 9789811376719 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. N° de réf. du vendeur 119162431
Acheter neuf
EUR 132,20
Frais de port :
EUR 70
De Allemagne vers Etats-Unis
Quantité disponible : 5 disponible(s)
Edition internationale
NUMERICAL VERIFICATION METHODS AND COMPUTER ASSISTED PROOFS FOR PARTIAL DIFFERENTIAL EQUATIONS (PB 2019)
Edition internationaleVendeur : UK BOOKS STORE, London, LONDO, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. Brand New! Fast Delivery This is an International Edition and ship within 24-48 hours. Deliver by FedEx and Dhl, & Aramex, UPS, & USPS and we do accept APO and PO BOX Addresses. Order can be delivered worldwide within 7-10 days and we do have flat rate for up to 2LB. Extra shipping charges will be requested if the Book weight is more than 5 LB. This Item May be shipped from India, United states & United Kingdom. Depending on your location and availability. N° de réf. du vendeur CBS 9789811376719
Acheter neuf
EUR 202,84
Frais de port :
EUR 4,52
De Royaume-Uni vers Etats-Unis
Quantité disponible : 1 disponible(s)