We can't find the internet
Attempting to reconnect
Something went wrong
Hang in there while we get back on track
£75.77
This is the usual price. Wait for it to drop, or tell us your number.
£76 today · usual range £63–£81 · best ever £63
Springer Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations: 53 (Springer Series in Computational Mathematics, 53)
Price data last checked 23 day(s) ago - will refresh soon
We'll watch every seller, every day. One email when your price arrives.
Price History & Forecast
Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.
Last 68 days · 68 data points (no recent data)
Historical
Generating forecast…
Price data last checked 23 day(s) ago - will refresh soon
NEW HERE?
Amazon shows you one price. We show you all of them.
Tosheroon watches Amazon prices so you don't have to. Every product on Amazon has a price history — we make it visible. Set the price you'd actually pay, and we'll email you the second it gets there. No app, no account, one email.
WHAT'S ON THIS PAGE
↑ Price chart
when this has been cheap or pricey
when this has been cheap or pricey
↑ Forecast
where the price is heading next
where the price is heading next
↓ Statistics
all-time high & low, recent range
all-time high & low, recent range
↑ Price alert
name your number, we'll email you
name your number, we'll email you
Price Distribution
Price distribution over 68 days • 4 price levels
Current Price
Price Analysis
Most common price: £81 (47 days, 69.1%)
Price range: £63 - £81
Price levels: 4 different prices over 68 days
Description
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.
Product Specifications
- Brand
- Springer
- Format
- hardcover
- ASIN
- 9811376689
- Category
- Books > Subjects > Computing & Internet > Computer Science > Architecture & Microprocessors
- Domain
- Amazon UK
- Release Date
- 20 November 2019
- Listed Since
- 12 March 2019
Barcode
No barcode data available
Similar Products You Might Like
96% match
Methods for Partial Differential Equations: Qualitative Properties of Solutions, Phase Space Analysis, Semilinear Models
Birkhauser
£66.68
23 Sep 2026
96% match
Recent Trends in Nonlinear Partial Differential Equations II: Stationary Problems: 595 (Contemporary Mathematics)
£98.13
12 Sep 2026
96% match
Method Of Lines Analysis Of Turing Models
World Scientific Publishing Company
£38.11
18 Sep 2026
96% match
Numerical Solutions for Partial Differential Equations: Problem Solving Using Mathematica: 7 (Symbolic & Numeric Computation)
CRC Press
£72.79
01 Sep 2026
96% match
Numerical Time-Dependent Partial Differential Equations for Scientists and Engineers: Volume 213 (Mathematics in Science and Engineering, Volume 213)
Elsevier
£62.16
22 Sep 2026
96% match
Exact Solutions Nonlinear PDEs - Mechanics & Physics
CRC Press
£210.00
03 Oct 2026
96% match
Partial Differential Equations with Variable Exponents: Variational Methods and Qualitative Analysis (Chapman & Hall/CRC Monographs and Research Notes in Mathematics)
CRC Press
£95.00
11 Sep 2026
96% match
Partial Differential Equations III: Nonlinear Equations: 117 (Applied Mathematical Sciences, 117)
Springer
£59.60
22 Sep 2026
96% match
Exact Solutions and Invariant Subspaces of Nonlinear Partial Differential Equations in Mechanics and Physics: 10 (Chapman & Hall/CRC Applied Mathematics and Nonlinear Science)
CRC Press
£66.80
10 Sep 2026
96% match
Essential Mathematics for the Physical Sciences, Volume 1: Homogenous Boundary Value Problems, Fourier Methods, and Special Functions (Iop Concise Physics)
Morgan & Claypool
£70.00
02 Oct 2026
96% match
Nonlinear Elliptic Partial Differential Equations (Contemporary Mathematics): Workshop in Celebration of Jean-pierre Gossez's 65th Birthday September 2-4, 2009, Universite Libre De Bruxelles, Belgium
£92.50
24 Sep 2026
96% match
Spectral Methods Using Multivariate Polynomials On The Unit Ball (Chapman & Hall/CRC Monographs and Research Notes in Mathematics)
CRC Press
£92.06
19 Sep 2026
96% match
Elliptic Partial Differential Equations of Second Order: 224 (Classics in Mathematics, 224)
Springer
£40.65
11 Sep 2026
96% match
Partial Differential Equations: Theory and Numerical Solution: 406 (Chapman & Hall/CRC Research Notes in Mathematics Series)
Chapman and Hall/CRC
£173.32
21 Aug 2026
96% match
Solving Nonlinear Partial Differential Equations with Maple and Mathematica
Springer
£63.15
23 Sep 2026
96% match
Introduction to Partial Differential Equations with MATLAB (Applied and Numerical Harmonic Analysis)
Birkhauser
£58.17
22 Sep 2026
96% match
Solving Nonlinear Partial Differential Equations with Maple and Mathematica
Springer
£59.87
24 Sep 2026
96% match
Systems of Nonlinear Partial Differential Equations: 111 (Nato Science Series C:, 111)
Springer
£160.01
27 Sep 2026
96% match
Differential Equation Analysis in Biomedical Science and Engineering: Partial Differential Equation Applications with R
Wiley
£64.20
11 Sep 2026
96% match
Solving Partial Differential Equation Applications with PDE2D
Wiley
£71.99
18 Sep 2026
96% match
Partial Differential Equations III: Nonlinear Equations: 117 (Applied Mathematical Sciences)
Springer
£148.72
23 Aug 2026
96% match
Advances in Harmonic Analysis and Partial Differential Equations (Trends in Mathematics)
Birkhauser
£131.39
30 Sep 2026
96% match
Geometric Partial Differential Equations - Part 2 (Volume 22) (Handbook of Numerical Analysis, Volume 22)
Elsevier
£157.64
26 Sep 2026
96% match
Recent Trends in Nonlinear Partial Differential Equations I: Evolution Problems: 594 (Contemporary Mathematics)
£88.97
25 Sep 2026