Warwick Tucker - Böcker
Visar alla böcker från författaren Warwick Tucker. Handla med fri frakt och snabb leverans.
3 produkter
3 produkter
533 kr
Skickas inom 7-10 vardagar
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. Validated Numerics offers a self-contained primer on the subject, guiding readers from the basics to more advanced concepts and techniques. This book is an essential resource for those entering this fast-developing field, and it is also the ideal textbook for graduate students and advanced undergraduates needing an accessible introduction to the subject.Validated Numerics features many examples, exercises, and computer labs using MATLAB/C++, as well as detailed appendixes and an extensive bibliography for further reading. * Provides a comprehensive, self-contained introduction to validated numerics * Requires no advanced mathematics or programming skills * Features many examples, exercises, and computer labs * Includes code snippets that illustrate implementation * Suitable as a textbook for graduate students and advanced undergraduates
361 kr
Skickas inom 7-10 vardagar
A comprehensive, self-contained primer on validated numericsThis 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.Validated Numerics offers a self-contained primer on the subject, guiding readers from the basics to more advanced concepts and techniques. This book is an essential resource for those entering this fast-developing field, and it is also the ideal textbook for graduate students and advanced undergraduates needing an accessible introduction to the subject. Validated Numerics features many examples, exercises, and computer labs using MATLAB/C++, as well as detailed appendixes and an extensive bibliography for further reading.Provides a comprehensive, self-contained introduction to validated numericsRequires no advanced mathematics or programming skillsFeatures many examples, exercises, and computer labsIncludes code snippets that illustrate implementationSuitable as a textbook for graduate students and advanced undergraduates
Del 9553 - Lecture Notes in Computer Science
Scientific Computing, Computer Arithmetic, and Validated Numerics
16th International Symposium, SCAN 2014, Würzburg, Germany, September 21-26, 2014. Revised Selected Papers
Häftad, Engelska, 2016
536 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed post proceedings of the16th International Symposium, SCAN 2014, held in Würzburg, Germany, in September 2014. The 22 full papers presented were carefullyreviewed and selected from 60 submissions.