Validated numerics: a short introduction to rigorous computations
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Princeton, NJ
Princeton University Press
2011
|
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Item Description: | Literaturverz. S. [131] - 135. - Index |
| Physical Description: | XII, 138 S. graph. Darst. |
| ISBN: | 9780691147819 |
Staff View
MARC
| LEADER | 00000nam a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV039738205 | ||
| 003 | DE-604 | ||
| 005 | 20181030 | ||
| 007 | t | ||
| 008 | 111202s2011 xxud||| |||| 00||| eng d | ||
| 010 | |a 2010040560 | ||
| 020 | |a 9780691147819 |c hardcover : alk. paper |9 978-0-691-14781-9 | ||
| 035 | |a (OCoLC)759856914 | ||
| 035 | |a (DE-599)BVBBV039738205 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 044 | |a xxu |c US | ||
| 049 | |a DE-188 |a DE-11 |a DE-473 |a DE-706 |a DE-29T |a DE-91G | ||
| 050 | 0 | |a QA76.95 | |
| 082 | 0 | |a 502/.85 | |
| 084 | |a SK 910 |0 (DE-625)143270: |2 rvk | ||
| 084 | |a SK 920 |0 (DE-625)143272: |2 rvk | ||
| 084 | |a MAT 650f |2 stub | ||
| 100 | 1 | |a Tucker, Warwick |d 1970- |e Verfasser |0 (DE-588)1013541324 |4 aut | |
| 245 | 1 | 0 | |a Validated numerics |b a short introduction to rigorous computations |c Warwick Tucker |
| 264 | 1 | |a Princeton, NJ |b Princeton University Press |c 2011 | |
| 300 | |a XII, 138 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 500 | |a Literaturverz. S. [131] - 135. - Index | ||
| 650 | 4 | |a Datenverarbeitung | |
| 650 | 4 | |a Naturwissenschaft | |
| 650 | 4 | |a Numerical calculations |x Verification | |
| 650 | 4 | |a Science |x Data processing | |
| 650 | 0 | 7 | |a Numerische Mathematik |0 (DE-588)4042805-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Intervallalgebra |0 (DE-588)4139152-4 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Numerische Mathematik |0 (DE-588)4042805-9 |D s |
| 689 | 0 | 1 | |a Intervallalgebra |0 (DE-588)4139152-4 |D s |
| 689 | 0 | |5 DE-604 | |
| 856 | 4 | 2 | |m Digitalisierung UB Bamberg |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=024585939&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-024585939 | ||
Record in the Search Index
| _version_ | 1804148624026763264 |
|---|---|
| adam_text | Contents
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Л
First-Order Derivatives
60
4.2
Higher-Order Derivatives
64
4.3
Higher-Order Enclosures
71
4.4
Computer Lab III 72
VIU
CONTENTS
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.I IEEE Constants
126
B.2 Changing Rounding Modes
127
B.3 A Sample Code in
C++ 128
Bibliography
131
Index
137
|
| any_adam_object | 1 |
| author | Tucker, Warwick 1970- |
| author_GND | (DE-588)1013541324 |
| author_facet | Tucker, Warwick 1970- |
| author_role | aut |
| author_sort | Tucker, Warwick 1970- |
| author_variant | w t wt |
| building | Verbundindex |
| bvnumber | BV039738205 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.95 |
| callnumber-search | QA76.95 |
| callnumber-sort | QA 276.95 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SK 910 SK 920 |
| classification_tum | MAT 650f |
| ctrlnum | (OCoLC)759856914 (DE-599)BVBBV039738205 |
| dewey-full | 502/.85 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 502 - Miscellany |
| dewey-raw | 502/.85 |
| dewey-search | 502/.85 |
| dewey-sort | 3502 285 |
| dewey-tens | 500 - Natural sciences and mathematics |
| discipline | Allgemeine Naturwissenschaft Mathematik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01817nam a2200469zc 4500</leader><controlfield tag="001">BV039738205</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20181030 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">111202s2011 xxud||| |||| 00||| eng d</controlfield><datafield tag="010" ind1=" " ind2=" "><subfield code="a">2010040560</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780691147819</subfield><subfield code="c">hardcover : alk. paper</subfield><subfield code="9">978-0-691-14781-9</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)759856914</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV039738205</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">xxu</subfield><subfield code="c">US</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-188</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-91G</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.95</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">502/.85</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 910</subfield><subfield code="0">(DE-625)143270:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 920</subfield><subfield code="0">(DE-625)143272:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">MAT 650f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Tucker, Warwick</subfield><subfield code="d">1970-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1013541324</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Validated numerics</subfield><subfield code="b">a short introduction to rigorous computations</subfield><subfield code="c">Warwick Tucker</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Princeton, NJ</subfield><subfield code="b">Princeton University Press</subfield><subfield code="c">2011</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XII, 138 S.</subfield><subfield code="b">graph. Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturverz. S. [131] - 135. - Index</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Datenverarbeitung</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Naturwissenschaft</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Numerical calculations</subfield><subfield code="x">Verification</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Science</subfield><subfield code="x">Data processing</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Numerische Mathematik</subfield><subfield code="0">(DE-588)4042805-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Intervallalgebra</subfield><subfield code="0">(DE-588)4139152-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Numerische Mathematik</subfield><subfield code="0">(DE-588)4042805-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Intervallalgebra</subfield><subfield code="0">(DE-588)4139152-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung UB Bamberg</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=024585939&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-024585939</subfield></datafield></record></collection> |
| id | DE-604.BV039738205 |
| illustrated | Illustrated |
| indexdate | 2024-07-10T00:10:05Z |
| institution | BVB |
| isbn | 9780691147819 |
| language | English |
| lccn | 2010040560 |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-024585939 |
| oclc_num | 759856914 |
| open_access_boolean | |
| owner | DE-188 DE-11 DE-473 DE-BY-UBG DE-706 DE-29T DE-91G DE-BY-TUM |
| owner_facet | DE-188 DE-11 DE-473 DE-BY-UBG DE-706 DE-29T DE-91G DE-BY-TUM |
| physical | XII, 138 S. graph. Darst. |
| publishDate | 2011 |
| publishDateSearch | 2011 |
| publishDateSort | 2011 |
| publisher | Princeton University Press |
| record_format | marc |
| spelling | Tucker, Warwick 1970- Verfasser (DE-588)1013541324 aut Validated numerics a short introduction to rigorous computations Warwick Tucker Princeton, NJ Princeton University Press 2011 XII, 138 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Literaturverz. S. [131] - 135. - Index Datenverarbeitung Naturwissenschaft Numerical calculations Verification Science Data processing Numerische Mathematik (DE-588)4042805-9 gnd rswk-swf Intervallalgebra (DE-588)4139152-4 gnd rswk-swf Numerische Mathematik (DE-588)4042805-9 s Intervallalgebra (DE-588)4139152-4 s DE-604 Digitalisierung UB Bamberg application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=024585939&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Tucker, Warwick 1970- Validated numerics a short introduction to rigorous computations Datenverarbeitung Naturwissenschaft Numerical calculations Verification Science Data processing Numerische Mathematik (DE-588)4042805-9 gnd Intervallalgebra (DE-588)4139152-4 gnd |
| subject_GND | (DE-588)4042805-9 (DE-588)4139152-4 |
| title | Validated numerics a short introduction to rigorous computations |
| title_auth | Validated numerics a short introduction to rigorous computations |
| title_exact_search | Validated numerics a short introduction to rigorous computations |
| title_full | Validated numerics a short introduction to rigorous computations Warwick Tucker |
| title_fullStr | Validated numerics a short introduction to rigorous computations Warwick Tucker |
| title_full_unstemmed | Validated numerics a short introduction to rigorous computations Warwick Tucker |
| title_short | Validated numerics |
| title_sort | validated numerics a short introduction to rigorous computations |
| title_sub | a short introduction to rigorous computations |
| topic | Datenverarbeitung Naturwissenschaft Numerical calculations Verification Science Data processing Numerische Mathematik (DE-588)4042805-9 gnd Intervallalgebra (DE-588)4139152-4 gnd |
| topic_facet | Datenverarbeitung Naturwissenschaft Numerical calculations Verification Science Data processing Numerische Mathematik Intervallalgebra |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=024585939&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT tuckerwarwick validatednumericsashortintroductiontorigorouscomputations |