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.

Book Description:

"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

Contenuti:

Preface ix
Introduction xi
What Is Validated Numerics? xi
The Scope and Aim of This Book xi
Further Reading xii
Acknowledgments xii

Chapter 1. Computer Arithmetic 1
1.1 Positional Systems 1
1.2 Floating Point Numbers 2
1.3 Rounding 5
1.4 Floating Point Arithmetic 12
1.5 The IEEE Standard 14
1.6 Examples of Floating Point Computations 19
1.7 Computer Lab I 23

Chapter 2. Interval Arithmetic 24
2.1 Real Intervals 24
2.2 Real Interval Arithmetic 27
2.3 Extended Interval Arithmetic 30
2.4 Floating Point Interval Arithmetic 37

Chapter 3. Interval Analysis 46
3.1 Interval Functions 46
3.2 Centered Forms 55
3.3 Monotonicity 58
3.4 Computer Lab II 59

Chapter 4. Automatic Differentiation 60
4.1 First-Order Derivatives 60
4.2 Higher-Order Derivatives 64
4.3 Higher-Order Enclosures 71
4.4 Computer Lab III 72

Chapter 5. Interval Analysis in Action 73
5.1 Zero-Finding Methods 73
5.2 Optimization 87
5.3 Quadrature 94
5.4 Computer Lab IV 105

Chapter 6. Ordinary Differential Equations 106
6.1 A Gentle Mathematical Introduction 106
6.2 Simple Enclosure Methods 107
6.3 High-Order Methods 111
6.4 Rigorous High-Order Examples 112

Appendix A. Mathematical Foundations 118
A.1 The Rational Numbers 118
A.2 What Is a Real Number? 120
A.3 Completeness 122
A.4 Fixed-Point Theorems 124

Appendix B. Program Codes 126
B.1 IEEE Constants 126
B.2 Changing Rounding Modes 127
B.3 A Sample Code in C++ 128
Bibliography 131
Index 137

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

I migliori risultati di ricerca su AbeBooks

1.

Tucker, Warwick
ISBN 10: 0691147817 ISBN 13: 9780691147819
Nuovi Quantità: 5
Da
GreatBookPrices
(Columbia, MD, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Condizione libro: New. Codice libro della libreria 8528043-n

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 34,03
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 2,48
In U.S.A.
Destinazione, tempi e costi

2.

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

Descrizione libro Princeton University Press, 2011. Condizione libro: New. Brand New, Unread Copy in Perfect Condition. A+ Customer Service! Summary: "[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. Codice libro della libreria ABE_book_new_0691147817

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 40,78
Convertire valuta

Aggiungere al carrello

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

3.

Tucker, Warwick
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.. 236 x 160 mm. 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 40,97
Convertire valuta

Aggiungere al carrello

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

4.

Tucker, Warwick
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.. 236 x 160 mm. 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,19
Convertire valuta

Aggiungere al carrello

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

5.

Tucker, Warwick
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. 160mm x 15mm x 236mm. 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 41,40
Convertire valuta

Aggiungere al carrello

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

6.

Tucker, Warwick
Editore: Princeton University Press (2011)
ISBN 10: 0691147817 ISBN 13: 9780691147819
Nuovi Quantità: 7
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 36,09
Convertire valuta

Aggiungere al carrello

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

7.

Tucker, Warwick
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 44,11
Convertire valuta

Aggiungere al carrello

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

8.

Tucker, Warwick
Editore: Princeton University Press
ISBN 10: 0691147817 ISBN 13: 9780691147819
Nuovi Rilegato Quantità: 10
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 41,54
Convertire valuta

Aggiungere al carrello

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

9.

Tucker, Warwick
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 0691147817

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 50,34
Convertire valuta

Aggiungere al carrello

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

10.

Tucker, Warwick
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 49,80
Convertire valuta

Aggiungere al carrello

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

Vedi altre copie di questo libro

Vedi tutti i risultati per questo libro