Perspectives on Enclosure Methods:
Gespeichert in:
| Weitere Verfasser: | , , |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Vienna
Springer Vienna
2001
|
| Schlagworte: | |
| Beschreibung: | XII, 345 Seiten Illustrationen |
| ISBN: | 9783211835906 |
Internformat
MARC
| LEADER | 00000nam a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV043496674 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 160405s2001 a||| |||| 00||| eng d | ||
| 020 | |a 9783211835906 |c Print |9 978-3-211-83590-6 | ||
| 035 | |a (OCoLC)248547602 | ||
| 035 | |a (DE-599)BVBBV043496674 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-188 | ||
| 082 | 0 | |a 518 |2 23 | |
| 245 | 1 | 0 | |a Perspectives on Enclosure Methods |c edited by Ulrich Kulisch, Rudolf Lohner, Axel Facius |
| 264 | 1 | |a Vienna |b Springer Vienna |c 2001 | |
| 300 | |a XII, 345 Seiten |b Illustrationen | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 505 | 8 | |a Enclosure methods and their applications have been developed to a high standard during the last decades. These methods guarantee the validity of the computed results. This means they are of the same standard as the rest of mathematics. The book deals with a wide variety of aspects of enclosure methods. All contributions follow the common goal to push the limits of enclosure methods forward. Topics that are treated include basic questions of arithmetic, proving conjectures, bounds for Krylow type linear system solvers, bounds for eigenvalues, the wrapping effect, algorithmic differencing, differential equations, finite element methods, application in robotics, and nonsmooth global optimization | |
| 650 | 4 | |a Mathematics | |
| 650 | 4 | |a Computer science | |
| 650 | 4 | |a Computer simulation | |
| 650 | 4 | |a Global analysis (Mathematics) | |
| 650 | 4 | |a Algorithms | |
| 650 | 4 | |a Numerical analysis | |
| 650 | 4 | |a Mathematical optimization | |
| 650 | 4 | |a Numerical Analysis | |
| 650 | 4 | |a Simulation and Modeling | |
| 650 | 4 | |a Analysis | |
| 650 | 4 | |a Programming Languages, Compilers, Interpreters | |
| 650 | 4 | |a Calculus of Variations and Optimal Control; Optimization | |
| 650 | 4 | |a Informatik | |
| 650 | 4 | |a Mathematik | |
| 700 | 1 | |a Kulisch, Ulrich |d 1933- |0 (DE-588)105898430 |4 edt | |
| 700 | 1 | |a Lohner, Rudolf |4 edt | |
| 700 | 1 | |a Facius, Axel |4 edt | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |z 978-3-7091-6282-8 |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-028913153 | ||
Datensatz im Suchindex
| _version_ | 1804176129396834304 |
|---|---|
| any_adam_object | |
| author2 | Kulisch, Ulrich 1933- Lohner, Rudolf Facius, Axel |
| author2_role | edt edt edt |
| author2_variant | u k uk r l rl a f af |
| author_GND | (DE-588)105898430 |
| author_facet | Kulisch, Ulrich 1933- Lohner, Rudolf Facius, Axel |
| building | Verbundindex |
| bvnumber | BV043496674 |
| contents | Enclosure methods and their applications have been developed to a high standard during the last decades. These methods guarantee the validity of the computed results. This means they are of the same standard as the rest of mathematics. The book deals with a wide variety of aspects of enclosure methods. All contributions follow the common goal to push the limits of enclosure methods forward. Topics that are treated include basic questions of arithmetic, proving conjectures, bounds for Krylow type linear system solvers, bounds for eigenvalues, the wrapping effect, algorithmic differencing, differential equations, finite element methods, application in robotics, and nonsmooth global optimization |
| ctrlnum | (OCoLC)248547602 (DE-599)BVBBV043496674 |
| dewey-full | 518 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 518 - Numerical analysis |
| dewey-raw | 518 |
| dewey-search | 518 |
| dewey-sort | 3518 |
| dewey-tens | 510 - Mathematics |
| discipline | Mathematik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02193nam a2200481zc 4500</leader><controlfield tag="001">BV043496674</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">160405s2001 a||| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783211835906</subfield><subfield code="c">Print</subfield><subfield code="9">978-3-211-83590-6</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)248547602</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV043496674</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-188</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">518</subfield><subfield code="2">23</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Perspectives on Enclosure Methods</subfield><subfield code="c">edited by Ulrich Kulisch, Rudolf Lohner, Axel Facius</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Vienna</subfield><subfield code="b">Springer Vienna</subfield><subfield code="c">2001</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XII, 345 Seiten</subfield><subfield code="b">Illustrationen</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">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="505" ind1="8" ind2=" "><subfield code="a">Enclosure methods and their applications have been developed to a high standard during the last decades. These methods guarantee the validity of the computed results. This means they are of the same standard as the rest of mathematics. The book deals with a wide variety of aspects of enclosure methods. All contributions follow the common goal to push the limits of enclosure methods forward. Topics that are treated include basic questions of arithmetic, proving conjectures, bounds for Krylow type linear system solvers, bounds for eigenvalues, the wrapping effect, algorithmic differencing, differential equations, finite element methods, application in robotics, and nonsmooth global optimization</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer simulation</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Global analysis (Mathematics)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Algorithms</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Numerical analysis</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical optimization</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Numerical Analysis</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Simulation and Modeling</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Analysis</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programming Languages, Compilers, Interpreters</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Calculus of Variations and Optimal Control; Optimization</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematik</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Kulisch, Ulrich</subfield><subfield code="d">1933-</subfield><subfield code="0">(DE-588)105898430</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Lohner, Rudolf</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Facius, Axel</subfield><subfield code="4">edt</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Online-Ausgabe</subfield><subfield code="z">978-3-7091-6282-8</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-028913153</subfield></datafield></record></collection> |
| id | DE-604.BV043496674 |
| illustrated | Illustrated |
| indexdate | 2024-07-10T07:27:16Z |
| institution | BVB |
| isbn | 9783211835906 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-028913153 |
| oclc_num | 248547602 |
| open_access_boolean | |
| owner | DE-188 |
| owner_facet | DE-188 |
| physical | XII, 345 Seiten Illustrationen |
| publishDate | 2001 |
| publishDateSearch | 2001 |
| publishDateSort | 2001 |
| publisher | Springer Vienna |
| record_format | marc |
| spelling | Perspectives on Enclosure Methods edited by Ulrich Kulisch, Rudolf Lohner, Axel Facius Vienna Springer Vienna 2001 XII, 345 Seiten Illustrationen txt rdacontent n rdamedia nc rdacarrier Enclosure methods and their applications have been developed to a high standard during the last decades. These methods guarantee the validity of the computed results. This means they are of the same standard as the rest of mathematics. The book deals with a wide variety of aspects of enclosure methods. All contributions follow the common goal to push the limits of enclosure methods forward. Topics that are treated include basic questions of arithmetic, proving conjectures, bounds for Krylow type linear system solvers, bounds for eigenvalues, the wrapping effect, algorithmic differencing, differential equations, finite element methods, application in robotics, and nonsmooth global optimization Mathematics Computer science Computer simulation Global analysis (Mathematics) Algorithms Numerical analysis Mathematical optimization Numerical Analysis Simulation and Modeling Analysis Programming Languages, Compilers, Interpreters Calculus of Variations and Optimal Control; Optimization Informatik Mathematik Kulisch, Ulrich 1933- (DE-588)105898430 edt Lohner, Rudolf edt Facius, Axel edt Erscheint auch als Online-Ausgabe 978-3-7091-6282-8 |
| spellingShingle | Perspectives on Enclosure Methods Enclosure methods and their applications have been developed to a high standard during the last decades. These methods guarantee the validity of the computed results. This means they are of the same standard as the rest of mathematics. The book deals with a wide variety of aspects of enclosure methods. All contributions follow the common goal to push the limits of enclosure methods forward. Topics that are treated include basic questions of arithmetic, proving conjectures, bounds for Krylow type linear system solvers, bounds for eigenvalues, the wrapping effect, algorithmic differencing, differential equations, finite element methods, application in robotics, and nonsmooth global optimization Mathematics Computer science Computer simulation Global analysis (Mathematics) Algorithms Numerical analysis Mathematical optimization Numerical Analysis Simulation and Modeling Analysis Programming Languages, Compilers, Interpreters Calculus of Variations and Optimal Control; Optimization Informatik Mathematik |
| title | Perspectives on Enclosure Methods |
| title_auth | Perspectives on Enclosure Methods |
| title_exact_search | Perspectives on Enclosure Methods |
| title_full | Perspectives on Enclosure Methods edited by Ulrich Kulisch, Rudolf Lohner, Axel Facius |
| title_fullStr | Perspectives on Enclosure Methods edited by Ulrich Kulisch, Rudolf Lohner, Axel Facius |
| title_full_unstemmed | Perspectives on Enclosure Methods edited by Ulrich Kulisch, Rudolf Lohner, Axel Facius |
| title_short | Perspectives on Enclosure Methods |
| title_sort | perspectives on enclosure methods |
| topic | Mathematics Computer science Computer simulation Global analysis (Mathematics) Algorithms Numerical analysis Mathematical optimization Numerical Analysis Simulation and Modeling Analysis Programming Languages, Compilers, Interpreters Calculus of Variations and Optimal Control; Optimization Informatik Mathematik |
| topic_facet | Mathematics Computer science Computer simulation Global analysis (Mathematics) Algorithms Numerical analysis Mathematical optimization Numerical Analysis Simulation and Modeling Analysis Programming Languages, Compilers, Interpreters Calculus of Variations and Optimal Control; Optimization Informatik Mathematik |
| work_keys_str_mv | AT kulischulrich perspectivesonenclosuremethods AT lohnerrudolf perspectivesonenclosuremethods AT faciusaxel perspectivesonenclosuremethods |