Book Search:  


Google full text of our books:


Validated Numerics:
A Short Introduction to Rigorous Computations
Warwick Tucker

Hardcover | 2011 | $46.95 / £32.95 | ISBN: 9780691147819
152 pp. | 6 x 9 | 41 line illus. 12 tables. | SHOPPING CART

eBook | ISBN: 9781400838974 |
Our eBook editions are available from these online vendors

graduation-capTextbooks & e-Inspections for Professors

Reviews | Table of Contents
Introduction[PDF] pdf-icon | Chapter 1[PDF] pdf-icon

Google full text of this book:

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


"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 code, and four sections with numerous problems provided for experimenting on a computer. It is written at an elementary level corresponding to its aims. But it is also a pleasure for specialists to leaf through the book."--Gunter Mayer, Zentralblatt MATH

"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."--World Book Industry


"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

Table of Contents

Subject Areas:


Shopping Cart:

  • For ebooks:

Our eBook editions are available
from these online vendors:

  • Amazon Kindle Store
  • Apple iBooks
  • Barnes & Noble Nook Store
  • Google Play eBook Store
  • Kno eBook Store
  • Kobo eBook Store
  • Many of our ebooks are available through
    library electronic resources including these platforms:

  • Books at JSTOR
  • Ebrary
  • Ebook Library
  • EBSCO Ebooks
  • MyiLibrary
  • Dawsonera (UK)

  • Shopping Cart:

    • For hardcover/paperback orders:

      For hardcover/paperback orders in the United States, Canada, Latin America, Asia, and Australia

      Hardcover: $46.95 ISBN: 9780691147819

      For hardcover/paperback orders in Europe, Africa, the Middle East, and India, and Pakistan

      Hardcover: £32.95 ISBN: 9780691147819

      Add to shopping cart


      Textbooks: Need textbooks? View our textbook site.

      Teaching Professors: To request an electronic inspection copy for course use consideration,
      please click on: magnifyingProfessors free on-line inspection access (All requests will be validated before access is granted).

      Online exam copies are also available through these e-vendors:

    • CourseSmart®
    • Kno™
    • Prices subject to change without notice

      File created: 3/10/2015

    Questions and comments to:
    Princeton University Press

    New Book E-mails
    New In Print
    PUP Blog
    Princeton APPS
    Sample Chapters
    Princeton Legacy Library
    Class Use
    Recent Awards
    Princeton Shorts
    Freshman Reading
    PUP Europe
    About Us
    Contact Us
    PUP Home

    Bookmark and Share
    Send me emails
    about new books in:
    Computer Science
    More Choices