Validated Numerics

Validated Numerics
Author :
Publisher : Princeton University Press
Total Pages : 152
Release :
ISBN-10 : 9780691247656
ISBN-13 : 069124765X
Rating : 4/5 (65X Downloads)

Book Synopsis Validated Numerics by : Warwick Tucker

Download or read book Validated Numerics written by Warwick Tucker and published by Princeton University Press. This book was released on 2023-06-06 with total page 152 pages. Available in PDF, EPUB and Kindle. Book excerpt: ""Validated Numerics" contains introductory material on interval arithmetic and rigorous computations that is easily accessible to students with little background in mathematics and computer programming. I am not aware of any other book like it. The exercises and computer labs make it ideal for the classroom, and the references offer a good starting point for readers trying to gain deeper knowledge in this area."--Zbigniew Galias, AGH University of Science and Technology, Krakw -- "A significant contribution, particularly since there are not many texts in this area. "Validated Numerics" will be read by those interested in interval arithmetic, numerical analysis, and ways to make computer simulations more robust and less susceptible to errors. It is well written and well organized."--A. J. Meir, Auburn University.


Validated Numerics Related Books

Validated Numerics
Language: en
Pages: 152
Authors: Warwick Tucker
Categories: Computers
Type: BOOK - Published: 2023-06-06 - Publisher: Princeton University Press

GET EBOOK

""Validated Numerics" contains introductory material on interval arithmetic and rigorous computations that is easily accessible to students with little backgrou
Scientific Computing and Validated Numerics
Language: en
Pages: 348
Authors: G. Alefeld
Categories: Mathematics
Type: BOOK - Published: 1996 - Publisher: De Gruyter Akademie Forschung

GET EBOOK

The International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics SCAN is held biannually, the fourth conference took place in Wup
Scientific Computing, Validated Numerics, Interval Methods
Language: en
Pages: 385
Authors: Walter Krämer
Categories: Computers
Type: BOOK - Published: 2013-04-17 - Publisher: Springer Science & Business Media

GET EBOOK

Scan 2000, the GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics and Interval 2000, the International Co
Numerical Software with Result Verification
Language: en
Pages: 324
Authors: René Alt
Categories: Computers
Type: BOOK - Published: 2004-03-12 - Publisher: Springer Science & Business Media

GET EBOOK

This book constitutes the thoroughly refereed post-proceedings of the Dagstuhl Seminar 03041 on Numerical Software with Result Verification held at Dagstuhl Cas
Tools and Algorithms for the Construction and Analysis of Systems
Language: en
Pages: 728
Authors: Christel Baier
Categories: Computers
Type: BOOK - Published: 2015-03-30 - Publisher: Springer

GET EBOOK

This book constitutes the proceedings of the 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2015, whi