Validated Numerics: A Short Introduction to Rigorous Computations

Valutazione media 4
( su 1 valutazioni fornite da Goodreads )
 
9780691147819: Validated Numerics: A Short Introduction to Rigorous Computations

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

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

From the Inside Flap:


"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


About the Author:

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.

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

I migliori risultati di ricerca su AbeBooks

1.

Warwick Tucker
ISBN 10: 0691147817 ISBN 13: 9780691147819
Nuovi Rilegato Quantità: 1
Da
Grand Eagle Retail
(Wilmington, DE, U.S.A.)
Valutazione libreria
[?]

Descrizione libro 2011. Hardcover. Condizione libro: New. Hardcover. 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 mat.Shipping may be from multiple locations in the US or from the UK, depending on stock availability. 152 pages. 0.363. Codice libro della libreria 9780691147819

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 38,70
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
In U.S.A.
Destinazione, tempi e costi

2.

Warwick Tucker
Editore: Princeton University Press (2011)
ISBN 10: 0691147817 ISBN 13: 9780691147819
Nuovi Rilegato Quantità: 1
Da
Irish Booksellers
(Rumford, ME, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Princeton University Press, 2011. Hardcover. Condizione libro: New. book. Codice libro della libreria M0691147817

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 41,67
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
In U.S.A.
Destinazione, tempi e costi

3.

Warwick Tucker
Editore: Princeton University Press, United States (2011)
ISBN 10: 0691147817 ISBN 13: 9780691147819
Nuovi Rilegato Quantità: 1
Da
The Book Depository US
(London, Regno Unito)
Valutazione libreria
[?]

Descrizione libro Princeton University Press, United States, 2011. Hardback. Condizione libro: New. New.. Language: English . Brand New 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. Codice libro della libreria AAH9780691147819

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 41,80
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

4.

Warwick Tucker
Editore: Princeton University Press, United States (2011)
ISBN 10: 0691147817 ISBN 13: 9780691147819
Nuovi Rilegato Quantità: 1
Da
The Book Depository
(London, Regno Unito)
Valutazione libreria
[?]

Descrizione libro Princeton University Press, United States, 2011. Hardback. Condizione libro: New. New.. Language: English . Brand New 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. Codice libro della libreria AAH9780691147819

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 41,81
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

5.

Tucker, Warwick
Editore: Princeton University Press (2011)
ISBN 10: 0691147817 ISBN 13: 9780691147819
Nuovi Quantità: 3
Da
Books2Anywhere
(Fairford, GLOS, Regno Unito)
Valutazione libreria
[?]

Descrizione libro Princeton University Press, 2011. HRD. Condizione libro: New. New Book. Shipped from UK in 4 to 14 days. Established seller since 2000. Codice libro della libreria WP-9780691147819

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 33,47
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 9,85
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

6.

Warwick Tucker
Editore: Princeton University Press 2011-07-05, Princeton, N.J. |Woodstock (2011)
ISBN 10: 0691147817 ISBN 13: 9780691147819
Nuovi Rilegato Quantità: 1
Da
Blackwell's
(Oxford, OX, Regno Unito)
Valutazione libreria
[?]

Descrizione libro Princeton University Press 2011-07-05, Princeton, N.J. |Woodstock, 2011. hardback. Condizione libro: New. Codice libro della libreria 9780691147819

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 42,37
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 3,28
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

7.

Warwick Tucker
Editore: Princeton University Press
ISBN 10: 0691147817 ISBN 13: 9780691147819
Nuovi Rilegato Quantità: 5
Da
THE SAINT BOOKSTORE
(Southport, Regno Unito)
Valutazione libreria
[?]

Descrizione libro Princeton University Press. Hardback. Condizione libro: new. BRAND NEW, Validated Numerics: A Short Introduction to Rigorous Computations, Warwick Tucker, 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. Codice libro della libreria B9780691147819

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 43,38
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 7,61
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

8.

Warwick Tucker
Editore: Princeton University Press (2011)
ISBN 10: 0691147817 ISBN 13: 9780691147819
Nuovi Rilegato Quantità: 1
Da
Ergodebooks
(RICHMOND, TX, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Princeton University Press, 2011. Hardcover. Condizione libro: New. Codice libro della libreria DADAX0691147817

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 52,83
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 3,39
In U.S.A.
Destinazione, tempi e costi

9.

Warwick Tucker
Editore: Princeton University Press, United States (2011)
ISBN 10: 0691147817 ISBN 13: 9780691147819
Nuovi Rilegato Quantità: 10
Da
Book Depository hard to find
(London, Regno Unito)
Valutazione libreria
[?]

Descrizione libro Princeton University Press, United States, 2011. Hardback. Condizione libro: New. New.. Language: English . This book usually ship within 10-15 business days and we will endeavor to dispatch orders quicker than this where possible. Brand New 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. Codice libro della libreria BTE9780691147819

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 56,91
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

10.

TUCKER
ISBN 10: 0691147817 ISBN 13: 9780691147819
Nuovi Rilegato Quantità: 1
Da
Herb Tandree Philosophy Books
(Stroud, GLOS, Regno Unito)
Valutazione libreria
[?]

Descrizione libro 2011. Hardback. Condizione libro: NEW. 9780691147819 This listing is a new book, a title currently in-print which we order directly and immediately from the publisher. Codice libro della libreria HTANDREE01146698

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 51,82
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 8,76
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

Vedi altre copie di questo libro

Vedi tutti i risultati per questo libro