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:
Beteilige Person: | |
---|---|
Format: | Elektronisch E-Book |
Sprache: | Englisch |
Veröffentlicht: |
Berlin ; Boston
De Gruyter
[2017]
|
Schriftenreihe: | De Gruyter studies in mathematics
65 |
Schlagwörter: | |
Links: | https://doi.org/10.1515/9783110499469 https://doi.org/10.1515/9783110499469 https://doi.org/10.1515/9783110499469 https://doi.org/10.1515/9783110499469 https://doi.org/10.1515/9783110499469 https://doi.org/10.1515/9783110499469 https://doi.org/10.1515/9783110499469 https://doi.org/10.1515/9783110499469 https://doi.org/10.1515/9783110499469 https://doi.org/10.1515/9783110499469 https://doi.org/10.1515/9783110499469 |
Zusammenfassung: | 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 |
Umfang: | 1 Online-Ressource (xiii, 516 Seiten) |
ISBN: | 9783110499469 |
DOI: | 10.1515/9783110499469 |
Internformat
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 |
Datensatz im Suchindex
DE-BY-TUM_katkey | 2287820 |
---|---|
_version_ | 1824442127711469570 |
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:10:38Z |
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 |
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 |