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...
Saved in:
Superior document: | Title is part of eBook package: De Gruyter Princeton University Press eBook-Package Backlist 2000-2013 |
---|---|
VerfasserIn: | |
Place / Publishing House: | Princeton, NJ : : Princeton University Press, , [2011] ©2011 |
Year of Publication: | 2011 |
Language: | English |
Online Access: | |
Physical Description: | 1 online resource (152 p.) :; 41 line illus. 12 tables. |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
id |
9781400838974 |
---|---|
ctrlnum |
(DE-B1597)528111 (OCoLC)730151650 |
collection |
bib_alma |
record_format |
marc |
spelling |
Tucker, Warwick, author. aut http://id.loc.gov/vocabulary/relators/aut Validated Numerics : A Short Introduction to Rigorous Computations / Warwick Tucker. Princeton, NJ : Princeton University Press, [2011] ©2011 1 online resource (152 p.) : 41 line illus. 12 tables. text txt rdacontent computer c rdamedia online resource cr rdacarrier text file PDF rda Frontmatter -- Contents -- Preface -- Introduction -- Chapter One. Computer Arithmetic -- Chapter Two. Interval Arithmetic -- Chapter Three. Interval Analysis -- Chapter Four. Automatic Differentiation -- Chapter Five. Interval Analysis in Action -- Chapter Six. Ordinary Differential Equations -- Appendix A. Mathematical Foundations -- Appendix B. Program Codes -- Bibliography -- Index restricted access http://purl.org/coar/access_right/c_16ec online access with authorization star 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 Issued also in print. Mode of access: Internet via World Wide Web. In English. Description based on online resource; title from PDF title page (publisher's Web site, viewed 30. Aug 2021) Numerical calculations Verification. Science Data processing. MATHEMATICS / Applied. bisacsh Title is part of eBook package: De Gruyter Princeton University Press eBook-Package Backlist 2000-2013 9783110442502 print 9780691147819 https://doi.org/10.1515/9781400838974?locatt=mode:legacy https://www.degruyter.com/isbn/9781400838974 Cover https://www.degruyter.com/cover/covers/9781400838974.jpg |
language |
English |
format |
eBook |
author |
Tucker, Warwick, Tucker, Warwick, |
spellingShingle |
Tucker, Warwick, Tucker, Warwick, Validated Numerics : A Short Introduction to Rigorous Computations / Frontmatter -- Contents -- Preface -- Introduction -- Chapter One. Computer Arithmetic -- Chapter Two. Interval Arithmetic -- Chapter Three. Interval Analysis -- Chapter Four. Automatic Differentiation -- Chapter Five. Interval Analysis in Action -- Chapter Six. Ordinary Differential Equations -- Appendix A. Mathematical Foundations -- Appendix B. Program Codes -- Bibliography -- Index |
author_facet |
Tucker, Warwick, Tucker, Warwick, |
author_variant |
w t wt w t wt |
author_role |
VerfasserIn VerfasserIn |
author_sort |
Tucker, Warwick, |
title |
Validated Numerics : A Short Introduction to Rigorous Computations / |
title_sub |
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_auth |
Validated Numerics : A Short Introduction to Rigorous Computations / |
title_alt |
Frontmatter -- Contents -- Preface -- Introduction -- Chapter One. Computer Arithmetic -- Chapter Two. Interval Arithmetic -- Chapter Three. Interval Analysis -- Chapter Four. Automatic Differentiation -- Chapter Five. Interval Analysis in Action -- Chapter Six. Ordinary Differential Equations -- Appendix A. Mathematical Foundations -- Appendix B. Program Codes -- Bibliography -- Index |
title_new |
Validated Numerics : |
title_sort |
validated numerics : a short introduction to rigorous computations / |
publisher |
Princeton University Press, |
publishDate |
2011 |
physical |
1 online resource (152 p.) : 41 line illus. 12 tables. Issued also in print. |
contents |
Frontmatter -- Contents -- Preface -- Introduction -- Chapter One. Computer Arithmetic -- Chapter Two. Interval Arithmetic -- Chapter Three. Interval Analysis -- Chapter Four. Automatic Differentiation -- Chapter Five. Interval Analysis in Action -- Chapter Six. Ordinary Differential Equations -- Appendix A. Mathematical Foundations -- Appendix B. Program Codes -- Bibliography -- Index |
isbn |
9781400838974 9783110442502 9780691147819 |
callnumber-first |
Q - Science |
callnumber-subject |
QA - Mathematics |
callnumber-label |
QA76 |
callnumber-sort |
QA 276.95 T83 42011 |
url |
https://doi.org/10.1515/9781400838974?locatt=mode:legacy https://www.degruyter.com/isbn/9781400838974 https://www.degruyter.com/cover/covers/9781400838974.jpg |
illustrated |
Illustrated |
dewey-hundreds |
500 - Science |
dewey-tens |
500 - Science |
dewey-ones |
502 - Miscellany |
dewey-full |
502/.85 |
dewey-sort |
3502 285 |
dewey-raw |
502/.85 |
dewey-search |
502/.85 |
doi_str_mv |
10.1515/9781400838974?locatt=mode:legacy |
oclc_num |
730151650 |
work_keys_str_mv |
AT tuckerwarwick validatednumericsashortintroductiontorigorouscomputations |
status_str |
n |
ids_txt_mv |
(DE-B1597)528111 (OCoLC)730151650 |
carrierType_str_mv |
cr |
hierarchy_parent_title |
Title is part of eBook package: De Gruyter Princeton University Press eBook-Package Backlist 2000-2013 |
is_hierarchy_title |
Validated Numerics : A Short Introduction to Rigorous Computations / |
container_title |
Title is part of eBook package: De Gruyter Princeton University Press eBook-Package Backlist 2000-2013 |
_version_ |
1770176666440564736 |
fullrecord |
<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>04446nam a22006855i 4500</leader><controlfield tag="001">9781400838974</controlfield><controlfield tag="003">DE-B1597</controlfield><controlfield tag="005">20210830012106.0</controlfield><controlfield tag="006">m|||||o||d||||||||</controlfield><controlfield tag="007">cr || ||||||||</controlfield><controlfield tag="008">210830t20112011nju fo d z eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781400838974</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1515/9781400838974</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-B1597)528111</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)730151650</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-B1597</subfield><subfield code="b">eng</subfield><subfield code="c">DE-B1597</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">nju</subfield><subfield code="c">US-NJ</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">QA76.95.T83 2011</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">MAT003000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="082" ind1="0" ind2="4"><subfield code="a">502/.85</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Tucker, Warwick, </subfield><subfield code="e">author.</subfield><subfield code="4">aut</subfield><subfield code="4">http://id.loc.gov/vocabulary/relators/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="264" ind1=" " ind2="4"><subfield code="c">©2011</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (152 p.) :</subfield><subfield code="b">41 line illus. 12 tables.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">computer</subfield><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">online resource</subfield><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="347" ind1=" " ind2=" "><subfield code="a">text file</subfield><subfield code="b">PDF</subfield><subfield code="2">rda</subfield></datafield><datafield tag="505" ind1="0" ind2="0"><subfield code="t">Frontmatter -- </subfield><subfield code="t">Contents -- </subfield><subfield code="t">Preface -- </subfield><subfield code="t">Introduction -- </subfield><subfield code="t">Chapter One. Computer Arithmetic -- </subfield><subfield code="t">Chapter Two. Interval Arithmetic -- </subfield><subfield code="t">Chapter Three. Interval Analysis -- </subfield><subfield code="t">Chapter Four. Automatic Differentiation -- </subfield><subfield code="t">Chapter Five. Interval Analysis in Action -- </subfield><subfield code="t">Chapter Six. Ordinary Differential Equations -- </subfield><subfield code="t">Appendix A. Mathematical Foundations -- </subfield><subfield code="t">Appendix B. Program Codes -- </subfield><subfield code="t">Bibliography -- </subfield><subfield code="t">Index</subfield></datafield><datafield tag="506" ind1="0" ind2=" "><subfield code="a">restricted access</subfield><subfield code="u">http://purl.org/coar/access_right/c_16ec</subfield><subfield code="f">online access with authorization</subfield><subfield code="2">star</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">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</subfield></datafield><datafield tag="530" ind1=" " ind2=" "><subfield code="a">Issued also in print.</subfield></datafield><datafield tag="538" ind1=" " ind2=" "><subfield code="a">Mode of access: Internet via World Wide Web.</subfield></datafield><datafield tag="546" ind1=" " ind2=" "><subfield code="a">In English.</subfield></datafield><datafield tag="588" ind1="0" ind2=" "><subfield code="a">Description based on online resource; title from PDF title page (publisher's Web site, viewed 30. Aug 2021)</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Numerical calculations</subfield><subfield code="x">Verification.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Science</subfield><subfield code="x">Data processing.</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">MATHEMATICS / Applied.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="773" ind1="0" ind2="8"><subfield code="i">Title is part of eBook package:</subfield><subfield code="d">De Gruyter</subfield><subfield code="t">Princeton University Press eBook-Package Backlist 2000-2013</subfield><subfield code="z">9783110442502</subfield></datafield><datafield tag="776" ind1="0" ind2=" "><subfield code="c">print</subfield><subfield code="z">9780691147819</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1515/9781400838974?locatt=mode:legacy</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://www.degruyter.com/isbn/9781400838974</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="3">Cover</subfield><subfield code="u">https://www.degruyter.com/cover/covers/9781400838974.jpg</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">978-3-11-044250-2 Princeton University Press eBook-Package Backlist 2000-2013</subfield><subfield code="c">2000</subfield><subfield code="d">2013</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA_BACKALL</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA_CL_MTPY</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA_EBACKALL</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA_EBKALL</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA_ECL_MTPY</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA_EEBKALL</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA_ESTMALL</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA_PPALL</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA_STMALL</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV-deGruyter-alles</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">PDA12STME</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">PDA13ENGE</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">PDA18STMEE</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">PDA5EBK</subfield></datafield></record></collection> |