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...
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Berlin ; Boston
De Gruyter
[2017]
|
| Schriftenreihe: | De Gruyter studies in mathematics
65 |
| Schlagworte: | |
| Online-Zugang: | FAW01 FHA01 FHR01 FKE01 FLA01 TUM01 UBW01 UBY01 UPA01 FAB01 FCO01 URL des Erstveröffentlichers |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV044343792 | ||
| 003 | DE-604 | ||
| 005 | 20190904 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 170609s2017 |||| o||u| ||||||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-Aug4 |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 |a ZDB-23-DGG |a ZDB-23-DMA | ||
| 940 | 1 | |q ZDB-23-DMA17 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-029746779 | ||
| 966 | e | |u https://doi.org/10.1515/9783110499469 |l FAW01 |p ZDB-23-DGG |q FAW_PDA_DGG |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1515/9783110499469 |l FHA01 |p ZDB-23-DGG |q FHA_PDA_DGG |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1515/9783110499469 |l FHR01 |p ZDB-23-DMA |q ZDB-23-DMA17 |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1515/9783110499469 |l FKE01 |p ZDB-23-DGG |q FKE_PDA_DGG |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1515/9783110499469 |l FLA01 |p ZDB-23-DGG |q FLA_PDA_DGG |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1515/9783110499469 |l TUM01 |p ZDB-23-DMA |q TUM_Paketkauf |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1515/9783110499469 |l UBW01 |p ZDB-23-DMA |q ZDB-23-DMA17 |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1515/9783110499469 |l UBY01 |p ZDB-23-DMA |q UBY_Paketkauf17 |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1515/9783110499469 |l UPA01 |p ZDB-23-DGG |q UPA_PDA_DGG |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1515/9783110499469 |l FAB01 |p ZDB-23-DGG |q FAB_PDA_DGG |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1515/9783110499469 |l FCO01 |p ZDB-23-DGG |q FCO_PDA_DGG |x Verlag |3 Volltext | |
Datensatz im Suchindex
| DE-BY-TUM_katkey | 2287820 |
|---|---|
| DE-BY-TUM_local_url | Verlag https://doi.org/10.1515/9783110499469 |
| _version_ | 1816714354892996608 |
| 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>03834nmm a2200661zcb4500</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 |||| o||u| ||||||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-Aug4</subfield><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><subfield code="a">ZDB-23-DGG</subfield><subfield code="a">ZDB-23-DMA</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-23-DMA17</subfield></datafield><datafield tag="999" ind1=" " 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">FAW01</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">FHA01</subfield><subfield code="p">ZDB-23-DGG</subfield><subfield code="q">FHA_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">FHR01</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">FKE01</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">FLA01</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">TUM01</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">UBW01</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">UBY01</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">UPA01</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">FAB01</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">FCO01</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 | 2024-11-25T17:51:13Z |
| institution | BVB |
| isbn | 9783110499469 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-029746779 |
| oclc_num | 992482666 |
| open_access_boolean | |
| owner | DE-Aug4 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-Aug4 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-DGG FHA_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 |
| 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 |