Cargando…
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...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Princeton :
Princeton University Press,
©2011.
|
| Temas: | |
| Acceso en línea: | Texto completo |
MARC
| LEADER | 00000cam a2200000Mi 4500 | ||
|---|---|---|---|
| 001 | JSTOR_ocn730151650 | ||
| 003 | OCoLC | ||
| 005 | 20231005004200.0 | ||
| 006 | m o d | ||
| 007 | cr |n|---||||| | ||
| 008 | 110613s2011 njua ob 001 0 eng d | ||
| 010 | |a 2010040560 | ||
| 040 | |a EBLCP |b eng |e pn |c EBLCP |d OCLCQ |d TXA |d YDXCP |d OCLCQ |d OCLCF |d OCLCQ |d AU@ |d OCLCQ |d N$T |d MERUC |d OCLCQ |d JSTOR |d UKAHL |d OCLCQ |d DEGRU |d VLY |d UX1 |d VT2 |d OCLCO |d VHC |d OCLCQ |d OCLCO | ||
| 016 | 7 | |a 015762293 |2 Uk | |
| 019 | |a 780605594 |a 1162245645 |a 1175622661 |a 1262670208 |a 1303400499 |a 1396919862 | ||
| 020 | |a 9781400838974 |q (electronic bk.) | ||
| 020 | |a 1400838975 |q (electronic bk.) | ||
| 020 | |z 9780691147819 |q (hardcover ; |q alk. paper) | ||
| 020 | |z 0691147817 |q (hardcover ; |q alk. paper) | ||
| 024 | 7 | |a 10.1515/9781400838974 |2 doi | |
| 029 | 1 | |a AU@ |b 000048740747 | |
| 029 | 1 | |a AU@ |b 000051829386 | |
| 029 | 1 | |a NZ1 |b 13942115 | |
| 035 | |a (OCoLC)730151650 |z (OCoLC)780605594 |z (OCoLC)1162245645 |z (OCoLC)1175622661 |z (OCoLC)1262670208 |z (OCoLC)1303400499 |z (OCoLC)1396919862 | ||
| 037 | |a 22573/ctvckv51j |b JSTOR | ||
| 050 | 4 | |a QA76.95.T83 2011 | |
| 072 | 7 | |a SCI |x 000000 |2 bisacsh | |
| 072 | 7 | |a COM |x 014000 |2 bisacsh | |
| 072 | 7 | |a MAT |x 003000 |2 bisacsh | |
| 082 | 0 | 4 | |a 502/.85 |
| 049 | |a UAMI | ||
| 100 | 1 | |a Tucker, Warwick, |d 1961- | |
| 245 | 1 | 0 | |a Validated numerics : |b a short introduction to rigorous computations / |c Warwick Tucker. |
| 260 | |a Princeton : |b Princeton University Press, |c ©2011. | ||
| 300 | |a 1 online resource (xii, 138 pages) : |b illustrations | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 520 | |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 ... features many examples, exercises, and computer labs using MATLAB/C++, as well as detailed appendixes and an extensive bibliography for further reading"--Publisher website. | ||
| 505 | 0 | |a Chapter 1. Computer Arithmetic -- Chapter 2. Interval Arithmetic -- Chapter 3. Interval Analysis -- Chapter 4. Automatic Differentiation -- Chapter 5. Interval Analysis in Action -- Chapter 6. Ordinary Differential Equations. | |
| 504 | |a Includes bibliographical references and index. | ||
| 588 | 0 | |a Print version record. | |
| 546 | |a English. | ||
| 590 | |a JSTOR |b Books at JSTOR Evidence Based Acquisitions | ||
| 590 | |a JSTOR |b Books at JSTOR Demand Driven Acquisitions (DDA) | ||
| 590 | |a JSTOR |b Books at JSTOR All Purchased | ||
| 650 | 0 | |a Numerical calculations |x Verification. | |
| 650 | 0 | |a Science |x Data processing. | |
| 650 | 6 | |a Calculs numériques |x Vérification. | |
| 650 | 6 | |a Sciences |x Informatique. | |
| 650 | 7 | |a SCIENCE |x General. |2 bisacsh | |
| 650 | 7 | |a COMPUTERS |x Computer Science. |2 bisacsh | |
| 650 | 7 | |a Numerical calculations |x Verification |2 fast | |
| 650 | 7 | |a Science |x Data processing |2 fast | |
| 776 | 0 | 8 | |i Print version: |a Tucker, Warwick. |t Validated Numerics : A Short Introduction to Rigorous Computations. |d Princeton : Princeton University Press, ©2011 |z 9780691147819 |
| 856 | 4 | 0 | |u https://jstor.uam.elogim.com/stable/10.2307/j.ctvcm4g18 |z Texto completo |
| 938 | |a De Gruyter |b DEGR |n 9781400838974 | ||
| 938 | |a Askews and Holts Library Services |b ASKH |n AH26387933 | ||
| 938 | |a EBL - Ebook Library |b EBLB |n EBL683309 | ||
| 938 | |a EBSCOhost |b EBSC |n 1727696 | ||
| 938 | |a YBP Library Services |b YANK |n 6921966 | ||
| 994 | |a 92 |b IZTAP | ||