Interval analysis: and automatic result verification
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:
| Main Author: | |
|---|---|
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Berlin ; Boston
De Gruyter
[2017]
|
| Series: | De Gruyter studies in mathematics
65 |
| Subjects: | |
| Online Access: | DE-1046 DE-898 DE-859 DE-860 DE-91 DE-20 DE-706 DE-739 DE-1043 DE-858 Volltext |
| Summary: | 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 |
| Physical Description: | 1 Online-Ressource (xiii, 516 Seiten) |
| ISBN: | 9783110499469 |
| DOI: | 10.1515/9783110499469 |
Staff View
MARC
| LEADER | 00000nam a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV044343792 | ||
| 003 | DE-604 | ||
| 005 | 20190904 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 170609s2017 xx o|||| 00||| eng d | ||
| 020 | |a 9783110499469 |c PDF |9 978-3-11-049946-9 | ||
| 024 | 7 | |a 10.1515/9783110499469 |2 doi | |
| 035 | |a (ZDB-23-DGG)9783110499469 | ||
| 035 | |a (OCoLC)992482666 | ||
| 035 | |a (DE-599)BVBBV044343792 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-859 |a DE-860 |a DE-20 |a DE-91 |a DE-898 |a DE-739 |a DE-706 |a DE-1046 |a DE-83 |a DE-1043 |a DE-858 | ||
| 084 | |a SK 905 |0 (DE-625)143269: |2 rvk | ||
| 084 | |a MAT 661f |2 stub | ||
| 100 | 1 | |a Mayer, Günter |d 1951- |0 (DE-588)13177509X |4 aut | |
| 245 | 1 | 0 | |a Interval analysis |b and automatic result verification |c Günter Mayer |
| 264 | 1 | |a Berlin ; Boston |b De Gruyter |c [2017] | |
| 264 | 4 | |c © 2017 | |
| 300 | |a 1 Online-Ressource (xiii, 516 Seiten) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 1 | |a De Gruyter studies in mathematics |v 65 | |
| 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 | ||
| 650 | 4 | |a Automatische Differentiation | |
| 650 | 4 | |a Computerarithmetik | |
| 650 | 4 | |a Intervalalgebra | |
| 650 | 4 | |a Intervalanalyse | |
| 650 | 4 | |a Richrigkeit von Ergebnissen | |
| 650 | 0 | 7 | |a Intervallalgebra |0 (DE-588)4139152-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Richtigkeit von Ergebnissen |0 (DE-588)4127444-1 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Intervallalgebra |0 (DE-588)4139152-4 |D s |
| 689 | 0 | 1 | |a Richtigkeit von Ergebnissen |0 (DE-588)4127444-1 |D s |
| 689 | 0 | |5 DE-604 | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 978-3-11-050063-9 |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe, EPUB |z 978-3-11-049805-9 |
| 830 | 0 | |a De Gruyter studies in mathematics |v 65 |w (DE-604)BV044966417 |9 65 | |
| 856 | 4 | 0 | |u https://doi.org/10.1515/9783110499469 |x Verlag |z URL des Erstveröffentlichers |3 Volltext |
| 912 | |a ZDB-23-GSM | ||
| 912 | |a ZDB-23-DGG | ||
| 912 | |a ZDB-23-DMA | ||
| 940 | 1 | |q ZDB-23-DMA17 | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-029746779 | |
| 966 | e | |u https://doi.org/10.1515/9783110499469 |l DE-1046 |p ZDB-23-DGG |q FAW_PDA_DGG |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1515/9783110499469 |l DE-898 |p ZDB-23-DMA |q ZDB-23-DMA17 |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1515/9783110499469 |l DE-859 |p ZDB-23-DGG |q FKE_PDA_DGG |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1515/9783110499469 |l DE-860 |p ZDB-23-DGG |q FLA_PDA_DGG |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1515/9783110499469 |l DE-91 |p ZDB-23-DMA |q TUM_Paketkauf |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1515/9783110499469 |l DE-20 |p ZDB-23-DMA |q ZDB-23-DMA17 |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1515/9783110499469 |l DE-706 |p ZDB-23-DMA |q UBY_Paketkauf17 |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1515/9783110499469 |l DE-739 |p ZDB-23-DGG |q UPA_PDA_DGG |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1515/9783110499469 |l DE-1043 |p ZDB-23-DGG |q FAB_PDA_DGG |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1515/9783110499469 |l DE-858 |p ZDB-23-DGG |q FCO_PDA_DGG |x Verlag |3 Volltext | |
Record in the Search Index
| _version_ | 1824408332457213952 |
|---|---|
| adam_text | |
| any_adam_object | |
| author | Mayer, Günter 1951- |
| author_GND | (DE-588)13177509X |
| author_facet | Mayer, Günter 1951- |
| author_role | aut |
| author_sort | Mayer, Günter 1951- |
| author_variant | g m gm |
| building | Verbundindex |
| bvnumber | BV044343792 |
| classification_rvk | SK 905 |
| classification_tum | MAT 661f |
| collection | ZDB-23-GSM ZDB-23-DGG ZDB-23-DMA |
| ctrlnum | (ZDB-23-DGG)9783110499469 (OCoLC)992482666 (DE-599)BVBBV044343792 |
| discipline | Mathematik |
| doi_str_mv | 10.1515/9783110499469 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000zcb4500</leader><controlfield tag="001">BV044343792</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20190904</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">170609s2017 xx o|||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783110499469</subfield><subfield code="c">PDF</subfield><subfield code="9">978-3-11-049946-9</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1515/9783110499469</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-23-DGG)9783110499469</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)992482666</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV044343792</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-859</subfield><subfield code="a">DE-860</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-898</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-1046</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-1043</subfield><subfield code="a">DE-858</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 905</subfield><subfield code="0">(DE-625)143269:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">MAT 661f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Mayer, Günter</subfield><subfield code="d">1951-</subfield><subfield code="0">(DE-588)13177509X</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Interval analysis</subfield><subfield code="b">and automatic result verification</subfield><subfield code="c">Günter Mayer</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin ; Boston</subfield><subfield code="b">De Gruyter</subfield><subfield code="c">[2017]</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">© 2017</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (xiii, 516 Seiten)</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">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">De Gruyter studies in mathematics</subfield><subfield code="v">65</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="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</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Automatische Differentiation</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computerarithmetik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Intervalalgebra</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Intervalanalyse</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Richrigkeit von Ergebnissen</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="650" ind1="0" ind2="7"><subfield code="a">Richtigkeit von Ergebnissen</subfield><subfield code="0">(DE-588)4127444-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><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="1"><subfield code="a">Richtigkeit von Ergebnissen</subfield><subfield code="0">(DE-588)4127444-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">978-3-11-050063-9</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Online-Ausgabe, EPUB</subfield><subfield code="z">978-3-11-049805-9</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">De Gruyter studies in mathematics</subfield><subfield code="v">65</subfield><subfield code="w">(DE-604)BV044966417</subfield><subfield code="9">65</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1515/9783110499469</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Erstveröffentlichers</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-23-GSM</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-23-DGG</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-23-DMA</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-23-DMA17</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-029746779</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1515/9783110499469</subfield><subfield code="l">DE-1046</subfield><subfield code="p">ZDB-23-DGG</subfield><subfield code="q">FAW_PDA_DGG</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1515/9783110499469</subfield><subfield code="l">DE-898</subfield><subfield code="p">ZDB-23-DMA</subfield><subfield code="q">ZDB-23-DMA17</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1515/9783110499469</subfield><subfield code="l">DE-859</subfield><subfield code="p">ZDB-23-DGG</subfield><subfield code="q">FKE_PDA_DGG</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1515/9783110499469</subfield><subfield code="l">DE-860</subfield><subfield code="p">ZDB-23-DGG</subfield><subfield code="q">FLA_PDA_DGG</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1515/9783110499469</subfield><subfield code="l">DE-91</subfield><subfield code="p">ZDB-23-DMA</subfield><subfield code="q">TUM_Paketkauf</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1515/9783110499469</subfield><subfield code="l">DE-20</subfield><subfield code="p">ZDB-23-DMA</subfield><subfield code="q">ZDB-23-DMA17</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1515/9783110499469</subfield><subfield code="l">DE-706</subfield><subfield code="p">ZDB-23-DMA</subfield><subfield code="q">UBY_Paketkauf17</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1515/9783110499469</subfield><subfield code="l">DE-739</subfield><subfield code="p">ZDB-23-DGG</subfield><subfield code="q">UPA_PDA_DGG</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1515/9783110499469</subfield><subfield code="l">DE-1043</subfield><subfield code="p">ZDB-23-DGG</subfield><subfield code="q">FAB_PDA_DGG</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1515/9783110499469</subfield><subfield code="l">DE-858</subfield><subfield code="p">ZDB-23-DGG</subfield><subfield code="q">FCO_PDA_DGG</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| id | DE-604.BV044343792 |
| illustrated | Not Illustrated |
| indexdate | 2025-02-18T15:09:29Z |
| institution | BVB |
| isbn | 9783110499469 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-029746779 |
| oclc_num | 992482666 |
| open_access_boolean | |
| owner | DE-859 DE-860 DE-20 DE-91 DE-BY-TUM DE-898 DE-BY-UBR DE-739 DE-706 DE-1046 DE-83 DE-1043 DE-858 |
| owner_facet | DE-859 DE-860 DE-20 DE-91 DE-BY-TUM DE-898 DE-BY-UBR DE-739 DE-706 DE-1046 DE-83 DE-1043 DE-858 |
| physical | 1 Online-Ressource (xiii, 516 Seiten) |
| psigel | ZDB-23-GSM ZDB-23-DGG ZDB-23-DMA ZDB-23-DMA17 ZDB-23-DGG FAW_PDA_DGG ZDB-23-DMA ZDB-23-DMA17 ZDB-23-DGG FKE_PDA_DGG ZDB-23-DGG FLA_PDA_DGG ZDB-23-DMA TUM_Paketkauf ZDB-23-DMA UBY_Paketkauf17 ZDB-23-DGG UPA_PDA_DGG ZDB-23-DGG FAB_PDA_DGG ZDB-23-DGG FCO_PDA_DGG |
| publishDate | 2017 |
| publishDateSearch | 2017 |
| publishDateSort | 2017 |
| publisher | De Gruyter |
| record_format | marc |
| series | De Gruyter studies in mathematics |
| series2 | De Gruyter studies in mathematics |
| spelling | Mayer, Günter 1951- (DE-588)13177509X aut Interval analysis and automatic result verification Günter Mayer Berlin ; Boston De Gruyter [2017] © 2017 1 Online-Ressource (xiii, 516 Seiten) txt rdacontent c rdamedia cr rdacarrier De Gruyter studies in mathematics 65 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 Automatische Differentiation Computerarithmetik Intervalalgebra Intervalanalyse Richrigkeit von Ergebnissen Intervallalgebra (DE-588)4139152-4 gnd rswk-swf Richtigkeit von Ergebnissen (DE-588)4127444-1 gnd rswk-swf Intervallalgebra (DE-588)4139152-4 s Richtigkeit von Ergebnissen (DE-588)4127444-1 s DE-604 Erscheint auch als Druck-Ausgabe 978-3-11-050063-9 Erscheint auch als Online-Ausgabe, EPUB 978-3-11-049805-9 De Gruyter studies in mathematics 65 (DE-604)BV044966417 65 https://doi.org/10.1515/9783110499469 Verlag URL des Erstveröffentlichers Volltext |
| spellingShingle | Mayer, Günter 1951- Interval analysis and automatic result verification De Gruyter studies in mathematics Automatische Differentiation Computerarithmetik Intervalalgebra Intervalanalyse Richrigkeit von Ergebnissen Intervallalgebra (DE-588)4139152-4 gnd Richtigkeit von Ergebnissen (DE-588)4127444-1 gnd |
| subject_GND | (DE-588)4139152-4 (DE-588)4127444-1 |
| title | Interval analysis and automatic result verification |
| title_auth | Interval analysis and automatic result verification |
| title_exact_search | Interval analysis and automatic result verification |
| title_full | Interval analysis and automatic result verification Günter Mayer |
| title_fullStr | Interval analysis and automatic result verification Günter Mayer |
| title_full_unstemmed | Interval analysis and automatic result verification Günter Mayer |
| title_short | Interval analysis |
| title_sort | interval analysis and automatic result verification |
| title_sub | and automatic result verification |
| topic | Automatische Differentiation Computerarithmetik Intervalalgebra Intervalanalyse Richrigkeit von Ergebnissen Intervallalgebra (DE-588)4139152-4 gnd Richtigkeit von Ergebnissen (DE-588)4127444-1 gnd |
| topic_facet | Automatische Differentiation Computerarithmetik Intervalalgebra Intervalanalyse Richrigkeit von Ergebnissen Intervallalgebra Richtigkeit von Ergebnissen |
| url | https://doi.org/10.1515/9783110499469 |
| volume_link | (DE-604)BV044966417 |
| work_keys_str_mv | AT mayergunter intervalanalysisandautomaticresultverification |