Perspectives on Enclosure Methods:
Saved in:
| Main Author: | |
|---|---|
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Vienna
Springer Vienna
2001
|
| Subjects: | |
| Online Access: | Volltext |
| Item Description: | 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 |
| Physical Description: | 1 Online-Ressource (XII, 345 p) |
| ISBN: | 9783709162828 9783211835906 |
| DOI: | 10.1007/978-3-7091-6282-8 |
Staff View
MARC
| LEADER | 00000nmm a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV042423575 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 150317s2001 |||| o||u| ||||||eng d | ||
| 020 | |a 9783709162828 |c Online |9 978-3-7091-6282-8 | ||
| 020 | |a 9783211835906 |c Print |9 978-3-211-83590-6 | ||
| 024 | 7 | |a 10.1007/978-3-7091-6282-8 |2 doi | |
| 035 | |a (OCoLC)863757342 | ||
| 035 | |a (DE-599)BVBBV042423575 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-384 |a DE-703 |a DE-91 |a DE-634 | ||
| 082 | 0 | |a 518 |2 23 | |
| 084 | |a MAT 000 |2 stub | ||
| 100 | 1 | |a Kulisch, Ulrich |e Verfasser |4 aut | |
| 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 1 Online-Ressource (XII, 345 p) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 500 | |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 Lohner, Rudolf |e Sonstige |4 oth | |
| 700 | 1 | |a Facius, Axel |e Sonstige |4 oth | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-7091-6282-8 |x Verlag |3 Volltext |
| 912 | |a ZDB-2-SMA |a ZDB-2-BAE | ||
| 940 | 1 | |q ZDB-2-SMA_Archive | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-027858992 | ||
Record in the Search Index
| _version_ | 1804153099470766080 |
|---|---|
| any_adam_object | |
| author | Kulisch, Ulrich |
| author_facet | Kulisch, Ulrich |
| author_role | aut |
| author_sort | Kulisch, Ulrich |
| author_variant | u k uk |
| building | Verbundindex |
| bvnumber | BV042423575 |
| classification_tum | MAT 000 |
| collection | ZDB-2-SMA ZDB-2-BAE |
| ctrlnum | (OCoLC)863757342 (DE-599)BVBBV042423575 |
| 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 |
| doi_str_mv | 10.1007/978-3-7091-6282-8 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02446nmm a2200541zc 4500</leader><controlfield tag="001">BV042423575</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">150317s2001 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783709162828</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-7091-6282-8</subfield></datafield><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="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-7091-6282-8</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)863757342</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042423575</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-384</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-634</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">518</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">MAT 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Kulisch, Ulrich</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</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">1 Online-Ressource (XII, 345 p)</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="500" ind1=" " 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">Lohner, Rudolf</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Facius, Axel</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-7091-6282-8</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SMA</subfield><subfield code="a">ZDB-2-BAE</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-SMA_Archive</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027858992</subfield></datafield></record></collection> |
| id | DE-604.BV042423575 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T01:21:13Z |
| institution | BVB |
| isbn | 9783709162828 9783211835906 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027858992 |
| oclc_num | 863757342 |
| open_access_boolean | |
| owner | DE-384 DE-703 DE-91 DE-BY-TUM DE-634 |
| owner_facet | DE-384 DE-703 DE-91 DE-BY-TUM DE-634 |
| physical | 1 Online-Ressource (XII, 345 p) |
| psigel | ZDB-2-SMA ZDB-2-BAE ZDB-2-SMA_Archive |
| publishDate | 2001 |
| publishDateSearch | 2001 |
| publishDateSort | 2001 |
| publisher | Springer Vienna |
| record_format | marc |
| spelling | Kulisch, Ulrich Verfasser aut Perspectives on Enclosure Methods edited by Ulrich Kulisch, Rudolf Lohner, Axel Facius Vienna Springer Vienna 2001 1 Online-Ressource (XII, 345 p) txt rdacontent c rdamedia cr 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 Lohner, Rudolf Sonstige oth Facius, Axel Sonstige oth https://doi.org/10.1007/978-3-7091-6282-8 Verlag Volltext |
| spellingShingle | Kulisch, Ulrich Perspectives on Enclosure Methods 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 |
| url | https://doi.org/10.1007/978-3-7091-6282-8 |
| work_keys_str_mv | AT kulischulrich perspectivesonenclosuremethods AT lohnerrudolf perspectivesonenclosuremethods AT faciusaxel perspectivesonenclosuremethods |