Warwick Tucker

Validated Numerics

A Short Introduction to Rigorous Computations a Short Introduction to Rigorous Computations

• Gebundenes Buch

Produktbeschreibung

"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, Kraków "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

Produktdetails

• Verlag: Princeton University Press
• Seitenzahl: 152
• Erscheinungstermin: 25. Juli 2011
• Englisch
• Abmessung: 241mm x 170mm x 17mm
• Gewicht: 360g
• ISBN-13: 9780691147819
• ISBN-10: 0691147817
• Artikelnr.: 32736193

Autorenporträt

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.