Auto-Validating Numerical Methods Image close
Auto-Validating Numerical Methods by Warwick Tucker
Auto-Validating Numerical Methods by Warwick Tucker
Show Hide Adult Content

Non-Fiction Books:

Home  
Books  
Non-Fiction  
Maths & Science  
Mathematics  
Numerical analysis

Auto-Validating Numerical Methods

Sorry, this product is not currently available to order

Here are some other products you might consider...

Explore more Frontiers in Mathematics

See all products in this series

Numerical Methods for Eulerian and Lagrangian Conservation Laws by Bruno Despres
$187.99
Numerical Methods for Eulerian and Lagrangian Conservation Laws
by Bruno Despres ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Approximation of Additive Convolution-Like Operators by Victor Didenko
$176.99
Approximation of Additive Convolution-Like Operators
by Victor Didenko ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Developments of Harmonic Maps, Wave Maps and Yang-Mills Fields into Biharmonic Maps, Biwave Maps and Bi-Yang-Mills Fields by Yuan-Jen Chiang
$167.99
Developments of Harmonic Maps, Wave Maps and Yang-Mills Fields into...
by Yuan-Jen Chiang ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Extremum Problems for Eigenvalues of Elliptic Operators by Antoine Henrot
$157.99
Extremum Problems for Eigenvalues of Elliptic Operators
by Antoine Henrot ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Variational Source Conditions, Quadratic Inverse Problems, Sparsity Promoting Regularization by Jens Flemming
$151.99
Variational Source Conditions, Quadratic Inverse Problems, Sparsity...
by Jens Flemming ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Newton’s Method: an Updated Approach of Kantorovich’s Theory by Jose Antonio Ezquerro Fernandez
$163.99
Newton’s Method: an Updated Approach of Kantorovich’s Theory
by Jose Antonio Ezquerro Fernandez ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Infinite Matrices and their Finite Sections by Marko Lindner
$149.99
Infinite Matrices and their Finite Sections
by Marko Lindner ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Nonlinear Fractional Schrödinger Equations in R^N by Vincenzo Ambrosio
$172.99
Nonlinear Fractional Schrödinger Equations in R^N
by Vincenzo Ambrosio ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Gromov-Hausdorff Stability of Dynamical Systems and Applications to PDEs by Jihoon Lee
$151.99
Gromov-Hausdorff Stability of Dynamical Systems and Applications to...
by Jihoon Lee ~ Paperback / softback
Available - Usually ships in 3-4 weeks
The Geometry of Filtering by K. David Elworthy
$149.99
The Geometry of Filtering
by K. David Elworthy ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Nonlinear Stability of Finite Volume Methods for Hyperbolic Conservation Laws by Francois Bouchut
$149.99
Nonlinear Stability of Finite Volume Methods for Hyperbolic...
by Francois Bouchut ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Flag-transitive Steiner Designs by Michael Huber
$109.99
Flag-transitive Steiner Designs
by Michael Huber ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Introduction to Complex Theory of Differential Equations by Anton Savin
$149.99
Introduction to Complex Theory of Differential Equations
by Anton Savin ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Invariant Probabilities of Markov-Feller Operators and Their Supports by Radu Zaharopol
$151.99
Invariant Probabilities of Markov-Feller Operators and Their Supports
by Radu Zaharopol ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Bicomplex Holomorphic Functions by Daniele C. Struppa
$149.99
Bicomplex Holomorphic Functions
by Daniele C. Struppa ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Mild Differentiability Conditions for Newton's Method in Banach Spaces by Jose Antonio Ezquerro Fernandez
$151.99
Mild Differentiability Conditions for Newton's Method in Banach Spaces
by Jose Antonio Ezquerro Fernandez ~ Paperback / softback
Available - Usually ships in 3-4 weeks

Explore more by Warwick Tucker

See all books by this author

Validated Numerics on Hardback by Warwick Tucker
$163.99
Validated Numerics
by Warwick Tucker ~ Hardback
Available - Usually ships in 3-4 weeks

Recommended for you

Recommended from your browsing history

Auto-Validating Numerical Methods

Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

By:

Format:

Paperback / softback
Unavailable
Sorry, this product is not currently available to order

Description

The main goal of this text is to introduce the reader to the field of auto-validating algorithms by providing a theoretical foundation supplemented with illuminating examples. The target audience is undergraduate or graduate students new to the field. Some knowledge of programming is useful, but not strictly necessary. The restriction to the one-dimensional setting is a conscious one. It allows us to focus exclusively on simple, but yet interesting problems, without too much mathematical framework. The computer exercises are intended to "force" the reader into actually discovering how simple it is to implement the methods, and to solve numerical problems with rigour.
Release date Australia
February 28th, 2010
Audience
  • Professional & Vocational
Pages
182
ISBN-13
9783034603010
Product ID
3844325

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Help & options

Filed under...

Books >
Non-Fiction >
Maths & Science >
Mathematics >
Numerical analysis
Books >
Non-Fiction >
Maths & Science >
Mathematics >
Calculus & mathematical analysis >
Infinite series
Books >
Non-Fiction >
Maths & Science >
Mathematics >
Applied mathematics
Books >
Computers & Internet >
Theory & Design >
Mathematical theory of computation
Books >
Computers & Internet >
Computer science >
Mathematical theory of computation