9789811376719 - numerical verification methods and computer-assisted proofs for partial differential equations: 53 (springer series in computational mathematics) de nakao, mitsuhiro t.; plum, michael; watanabe, yoshitaka (17 resultados)
Idioma: Inglés
Editorial: Springer, 2020
Serie: Springer Computational Mathematics, Libro 31 de 33. Libro 31 de 33 - Springer Computational Mathematics
- Tapa blanda
Librería: Ria Christie Collections, Uxbridge, Reino UnidoRia Christie Collections
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 76,40
Envío por EUR 14,09Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New. In.
Idioma: Inglés
Editorial: Springer Verlag, Singapore, SG, 2020
Serie: Springer Computational Mathematics, Libro 31 de 33. Libro 31 de 33 - Springer Computational Mathematics
- Tapa blanda
Librería: Rarewaves.com USA, London, LONDO, Reino UnidoRarewaves.com USA
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 93,19
Gastos de envío gratisSe envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Paperback. Condición: 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.
Idioma: Inglés
Editorial: Springer Verlag, Singapore, SG, 2020
Serie: Springer Computational Mathematics, Libro 31 de 33. Libro 31 de 33 - Springer Computational Mathematics
- Tapa blanda
Librería: Rarewaves.com UK, London, Reino UnidoRarewaves.com UK
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 80,90
Envío por EUR 76,43Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Paperback. Condición: 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.
Idioma: Inglés
Editorial: Springer, 2020
Serie: Springer Computational Mathematics, Libro 31 de 33. Libro 31 de 33 - Springer Computational Mathematics
- Tapa blanda
Librería: Books Puddle, New York, NY, Estados Unidos de AmericaBooks Puddle
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 198,62
Envío por EUR 3,49Se envía dentro de Estados Unidos de AmericaCantidad disponible: 4 disponibles
Condición: New. pp. 467 1st ed. 2019 edition.
Idioma: Inglés
Editorial: Springer, 2020
Serie: Springer Computational Mathematics, Libro 31 de 33. Libro 31 de 33 - Springer Computational Mathematics
- Tapa blanda
Librería: Kennys Bookshop and Art Galleries Ltd., Galway, GY, IrlandaKennys Bookshop and Art Galleries Ltd.
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 186,86
Envío por EUR 10,50Se envía de Irlanda a Estados Unidos de AmericaCantidad disponible: 15 disponibles
Condición: New.
Más imágenesIdioma: Inglés
Editorial: Springer, 2020
Serie: Springer Computational Mathematics, Libro 31 de 33. Libro 31 de 33 - Springer Computational Mathematics
- Tapa blanda
Librería: preigu, Osnabrück, Alemaniapreigu
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 131,10
Envío por EUR 70,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 5 disponibles
Taschenbuch. Condición: Neu. Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations | Mitsuhiro T. Nakao (u. a.) | Taschenbuch | Springer Series in Computational Mathematics | xiii | Englisch | 2020 | Springer | EAN 9789811376719 | Verantwortliche Person für die EU: Springer Verlag GmbH, T…iergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Idioma: Inglés
Editorial: Springer, 2020
Serie: Springer Computational Mathematics, Libro 31 de 33. Libro 31 de 33 - Springer Computational Mathematics
- Tapa blanda
Librería: Mispah books, Redhill, SURRE, Reino UnidoMispah books
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 181,66
Envío por EUR 29,40Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Paperback. Condición: New. NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
Idioma: Inglés
Editorial: Springer, Springer, 2020
Serie: Springer Computational Mathematics, Libro 31 de 33. Libro 31 de 33 - Springer Computational Mathematics
- Tapa blanda
Librería: AHA-BUCH GmbH, Einbeck, AlemaniaAHA-BUCH GmbH
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 157,86
Envío por EUR 63,64Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Taschenbuch. Condición: 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.
Idioma: Inglés
Editorial: Springer Nature, 2020
Serie: Springer Computational Mathematics, Libro 31 de 33. Libro 31 de 33 - Springer Computational Mathematics
- Tapa blanda
Librería: Revaluation Books, Exeter, Reino UnidoRevaluation Books
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 225,11
Envío por EUR 14,70Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Paperback. Condición: Brand New. 480 pages. 9.25x6.10x0.97 inches. In Stock.
Idioma: Inglés
Editorial: Springer, 2020
Serie: Springer Computational Mathematics, Libro 31 de 33. Libro 31 de 33 - Springer Computational Mathematics
- Tapa blanda
Librería: Kennys Bookstore, Olney, MD, Estados Unidos de AmericaKennys Bookstore
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 236,68
Envío por EUR 9,18Se envía dentro de Estados Unidos de AmericaCantidad disponible: 15 disponibles
Condición: New.
Idioma: Inglés
Editorial: Springer, 2020
Serie: Springer Computational Mathematics, Libro 31 de 33. Libro 31 de 33 - Springer Computational Mathematics
- Tapa blanda
- Impresión bajo demanda
Librería: Basi6 International, Irving, TX, Estados Unidos de AmericaBasi6 International
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 121,59
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: 10 disponibles
Condición: Brand New. New. US edition. Print on demand title. Delivery takes 20-25 days.
Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations (eng)
Idioma: Inglés
Editorial: Springer, 2020
Serie: Springer Computational Mathematics, Libro 31 de 33. Libro 31 de 33 - Springer Computational Mathematics
- Tapa blanda
- Impresión bajo demanda
Librería: Brook Bookstore On Demand, Napoli, NA, ItaliaBrook Bookstore On Demand
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 118,26
Envío por EUR 6,80Se envía de Italia a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: new. Questo è un articolo print on demand.
Idioma: Inglés
Editorial: Springer Nature Singapore Nov 2020, 2020
Serie: Springer Computational Mathematics, Libro 31 de 33. Libro 31 de 33 - Springer Computational Mathematics
- Tapa blanda
- Impresión bajo demanda
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, AlemaniaBuchWeltWeit Ludwig Meier e.K.
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 149,79
Envío por EUR 23,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Taschenbuch. Condición: 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 mor…e. 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.
Idioma: Inglés
Editorial: Springer Nature Singapore, 2020
Serie: Springer Computational Mathematics, Libro 31 de 33. Libro 31 de 33 - Springer Computational Mathematics
- Tapa blanda
- Impresión bajo demanda
Librería: moluna, Greven, Alemaniamoluna
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 127,40
Envío por EUR 48,99Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: 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.
Idioma: Inglés
Editorial: Springer, Springer Nov 2020, 2020
Serie: Springer Computational Mathematics, Libro 31 de 33. Libro 31 de 33 - Springer Computational Mathematics
- Tapa blanda
- Impresión bajo demanda
Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemaniabuchversandmimpf2000
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 149,79
Envío por EUR 60,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Taschenbuch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -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 PDEsThis book offers the basic principle of verification tech…niques for PDEs as well as interested applications for computer assisted proofs of nonlinear problemsSpringer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 484 pp. Englisch.
Idioma: Inglés
Editorial: Springer, 2020
Serie: Springer Computational Mathematics, Libro 31 de 33. Libro 31 de 33 - Springer Computational Mathematics
- Tapa blanda
- Impresión bajo demanda
Librería: Majestic Books, Hounslow, Reino UnidoMajestic Books
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 210,80
Envío por EUR 7,64Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 4 disponibles
Condición: New. Print on Demand pp. 467.
Idioma: Inglés
Editorial: Springer, 2020
Serie: Springer Computational Mathematics, Libro 31 de 33. Libro 31 de 33 - Springer Computational Mathematics
- Tapa blanda
- Impresión bajo demanda
Librería: Biblios, frankfurt am main, HESSE, AlemaniaBiblios
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 211,54
Envío por EUR 9,95Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 4 disponibles
Condición: New. PRINT ON DEMAND pp. 467.
