.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
Validated Numerics: A Short Introduction to Rigorous Computations
Warwick Tucker
€ 79.14
FREE Delivery in Ireland
Description for Validated Numerics: A Short Introduction to Rigorous Computations
Hardback. Provides a comprehensive introduction to the theory and practice of validated numerics, a field that combines the strengths of scientific computing and pure mathematics. This title features many examples, exercises, and computer labs using MATLAB/C++. It is suitable for graduate students and advanced undergraduates. Num Pages: 152 pages, 41 line illus. 12 tables. BIC Classification: PBWH; PDN; UYA. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 233 x 163 x 16. Weight in Grams: 362.
This textbook provides a comprehensive introduction to the theory and practice of validated numerics, an emerging new field that combines the strengths of scientific computing and pure mathematics. In numerous fields ranging from pharmaceutics and engineering to weather prediction and robotics, fast and precise computations are essential. Based on the theory of set-valued analysis, a new suite of numerical methods is developed, producing efficient and reliable solvers for numerous problems in nonlinear analysis. Validated numerics yields rigorous computations that can find all possible solutions to a problem while taking into account all possible sources of error--fast, and with guaranteed accuracy. ... Read more
This textbook provides a comprehensive introduction to the theory and practice of validated numerics, an emerging new field that combines the strengths of scientific computing and pure mathematics. In numerous fields ranging from pharmaceutics and engineering to weather prediction and robotics, fast and precise computations are essential. Based on the theory of set-valued analysis, a new suite of numerical methods is developed, producing efficient and reliable solvers for numerous problems in nonlinear analysis. Validated numerics yields rigorous computations that can find all possible solutions to a problem while taking into account all possible sources of error--fast, and with guaranteed accuracy. ... Read more
Product Details
Format
Hardback
Publication date
2011
Publisher
Princeton University Press United States
Number of pages
152
Condition
New
Number of Pages
152
Place of Publication
New Jersey, United States
ISBN
9780691147819
SKU
V9780691147819
Shipping Time
Usually ships in 7 to 11 working days
Ref
99-1
About Warwick Tucker
Warwick Tucker is professor of mathematics and principal investigator for the Computer-Aided Proofs in Analysis (CAPA) Group at Uppsala University in Sweden. He has been honored with several awards, including the European Mathematical Society's Prize for Distinguished Contributions in Mathematics, the R. E. Moore Prize for Applications of Interval Analysis, and the Swedish Mathematical Society's Wallenberg Prize.
Reviews for Validated Numerics: A Short Introduction to Rigorous Computations
"Beyond obvious practical value, this material offers students an excellent opportunity to revisit and rethink some crucial, fundamental college mathematics."
Choice "[T]his little book is a very important supplement to existing books on validated numerics. It is a must for researchers working in this field."
G. Alefeld, Mathematical Reviews "The book contains a lot of exercises, various small programs written in MATLAB ... Read more
Choice "[T]his little book is a very important supplement to existing books on validated numerics. It is a must for researchers working in this field."
G. Alefeld, Mathematical Reviews "The book contains a lot of exercises, various small programs written in MATLAB ... Read more