Interval Analysis : : and Automatic Result Verification / / Günter Mayer.
This self-contained text is a step-by-step introduction and a complete overview of interval computation and result verification, a subject whose importance has steadily increased over the past many years. The author, an expert in the field, gently presents the theory of interval analysis through man...
Saved in:
Superior document: | Title is part of eBook package: De Gruyter DG Plus DeG Package 2017 Part 1 |
---|---|
VerfasserIn: | |
Place / Publishing House: | Berlin ;, Boston : : De Gruyter, , [2017] ©2017 |
Year of Publication: | 2017 |
Language: | English |
Series: | De Gruyter Studies in Mathematics ,
65 |
Online Access: | |
Physical Description: | 1 online resource (XIV, 518 p.) |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
LEADER | 05010nam a22009015i 4500 | ||
---|---|---|---|
001 | 9783110499469 | ||
003 | DE-B1597 | ||
005 | 20230228123812.0 | ||
006 | m|||||o||d|||||||| | ||
007 | cr || |||||||| | ||
008 | 230228t20172017gw fo d z eng d | ||
020 | |a 9783110499469 | ||
024 | 7 | |a 10.1515/9783110499469 |2 doi | |
035 | |a (DE-B1597)470629 | ||
035 | |a (OCoLC)984647843 | ||
040 | |a DE-B1597 |b eng |c DE-B1597 |e rda | ||
041 | 0 | |a eng | |
044 | |a gw |c DE | ||
072 | 7 | |a MAT041000 |2 bisacsh | |
082 | 0 | 4 | |a 519.4 |
084 | |a SK 910 |q SEPA |2 rvk |0 (DE-625)rvk/143270: | ||
100 | 1 | |a Mayer, Günter, |e author. |4 aut |4 http://id.loc.gov/vocabulary/relators/aut | |
245 | 1 | 0 | |a Interval Analysis : |b and Automatic Result Verification / |c Günter Mayer. |
264 | 1 | |a Berlin ; |a Boston : |b De Gruyter, |c [2017] | |
264 | 4 | |c ©2017 | |
300 | |a 1 online resource (XIV, 518 p.) | ||
336 | |a text |b txt |2 rdacontent | ||
337 | |a computer |b c |2 rdamedia | ||
338 | |a online resource |b cr |2 rdacarrier | ||
347 | |a text file |b PDF |2 rda | ||
490 | 0 | |a De Gruyter Studies in Mathematics , |x 0179-0986 ; |v 65 | |
505 | 0 | 0 | |t Frontmatter -- |t Preface -- |t Contents -- |t 1. Preliminaries -- |t 2. Real intervals -- |t 3. Interval vectors, interval matrices -- |t 4. Expressions, P-contraction, ε-inflation -- |t 5. Linear systems of equations -- |t 6. Nonlinear systems of equations -- |t 7. Eigenvalue problems and related ones -- |t 8. Automatic differentiation -- |t 9. Complex intervals -- |t Final Remarks -- |t Appendix -- |t A. Proof of the Jordan normal form -- |t B. Two elementary proofs of Brouwer’s fixed point theorem -- |t C. Proof of the Newton–Kantorovich Theorem -- |t D. Convergence proof of the row cyclic Jacobi method -- |t E. The CORDIC algorithm -- |t F. The symmetric solution set – a proof of Theorem 5.2.6 -- |t G. A short introduction to INTLAB -- |t Bibliography -- |t Symbol Index -- |t Author Index -- |t Subject Index |
506 | 0 | |a restricted access |u http://purl.org/coar/access_right/c_16ec |f online access with authorization |2 star | |
520 | |a This self-contained text is a step-by-step introduction and a complete overview of interval computation and result verification, a subject whose importance has steadily increased over the past many years. The author, an expert in the field, gently presents the theory of interval analysis through many examples and exercises, and guides the reader from the basics of the theory to current research topics in the mathematics of computation. Contents Preliminaries Real intervals Interval vectors, interval matrices Expressions, P-contraction, ε-inflation Linear systems of equations Nonlinear systems of equations Eigenvalue problems Automatic differentiation Complex intervals | ||
530 | |a Issued also in print. | ||
538 | |a Mode of access: Internet via World Wide Web. | ||
546 | |a In English. | ||
588 | 0 | |a Description based on online resource; title from PDF title page (publisher's Web site, viewed 28. Feb 2023) | |
650 | 0 | |a Interval analysis (Mathematics). | |
650 | 4 | |a Automatische Differentiation. | |
650 | 4 | |a Computerarithmetik. | |
650 | 4 | |a Intervalalgebra. | |
650 | 4 | |a Intervalanalyse. | |
650 | 4 | |a Richrigkeit von Ergebnissen. | |
650 | 7 | |a MATHEMATICS / Numerical Analysis. |2 bisacsh | |
773 | 0 | 8 | |i Title is part of eBook package: |d De Gruyter |t DG Plus DeG Package 2017 Part 1 |z 9783110762495 |
773 | 0 | 8 | |i Title is part of eBook package: |d De Gruyter |t DG Plus eBook-Package 2017 |z 9783110719543 |
773 | 0 | 8 | |i Title is part of eBook package: |d De Gruyter |t DG Studies in Mathematics eBook-Package |z 9783110494938 |o ZDB-23-GSM |
773 | 0 | 8 | |i Title is part of eBook package: |d De Gruyter |t EBOOK PACKAGE COMPLETE 2017 |z 9783110540550 |o ZDB-23-DGG |
773 | 0 | 8 | |i Title is part of eBook package: |d De Gruyter |t EBOOK PACKAGE COMPLETE ENGLISH 2017 |z 9783110625264 |
773 | 0 | 8 | |i Title is part of eBook package: |d De Gruyter |t EBOOK PACKAGE Mathematics 2017 |z 9783110548204 |o ZDB-23-DMA |
776 | 0 | |c EPUB |z 9783110498059 | |
776 | 0 | |c print |z 9783110500639 | |
856 | 4 | 0 | |u https://doi.org/10.1515/9783110499469 |
856 | 4 | 0 | |u https://www.degruyter.com/isbn/9783110499469 |
856 | 4 | 2 | |3 Cover |u https://www.degruyter.com/document/cover/isbn/9783110499469/original |
912 | |a 978-3-11-062526-4 EBOOK PACKAGE COMPLETE ENGLISH 2017 |b 2017 | ||
912 | |a 978-3-11-071954-3 DG Plus eBook-Package 2017 |b 2017 | ||
912 | |a 978-3-11-076249-5 DG Plus DeG Package 2017 Part 1 |b 2017 | ||
912 | |a EBA_BACKALL | ||
912 | |a EBA_CL_CHCOMSGSEN | ||
912 | |a EBA_CL_MTPY | ||
912 | |a EBA_DGALL | ||
912 | |a EBA_EBACKALL | ||
912 | |a EBA_EBKALL | ||
912 | |a EBA_ECL_CHCOMSGSEN | ||
912 | |a EBA_ECL_MTPY | ||
912 | |a EBA_EEBKALL | ||
912 | |a EBA_ESTMALL | ||
912 | |a EBA_STMALL | ||
912 | |a GBV-deGruyter-alles | ||
912 | |a PDA12STME | ||
912 | |a PDA13ENGE | ||
912 | |a PDA18STMEE | ||
912 | |a PDA5EBK | ||
912 | |a ZDB-23-DGG |b 2017 | ||
912 | |a ZDB-23-DMA |b 2017 | ||
912 | |a ZDB-23-GSM |