C++ Toolbox for Verified Computing I: Basic Numerical Problems Theory, Algorithms, and Programs
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Berlin, Heidelberg
Springer Berlin Heidelberg
1995
|
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Beschreibung: | This C++ Toolbox for Verified Computing presents an extensive set of sophisticated tools for solving basic numerical problems with verification of the results. It is the C++ edition of the Numerical Toolbox for Verified Computing which was based on the computer language PASCAL-XSC. The sources of the programs in this book are freely available via anonymous ftp. This book offers a general discussion on arithmetic and computational reliablility, analytical mathematics and verification techniques, algoriths, and (most importantly) actual C++ implementations. In each chapter, examples, exercises, and numerical results demonstrate the application of the routines presented. The book introduces many computational verification techniques. It is not assumed that the reader has any prior formal knowledge of numerical verification or any familiarity with interval analysis. The necessary concepts are introduced. Some of the subjects that the book covers in detail are not usually found in standard numerical analysis texts |
| Beschreibung: | 1 Online-Ressource (XVIII, 382p) |
| ISBN: | 9783642796517 9783642796531 |
| DOI: | 10.1007/978-3-642-79651-7 |
Internformat
MARC
| LEADER | 00000nmm a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV042423011 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 150317s1995 |||| o||u| ||||||eng d | ||
| 020 | |a 9783642796517 |c Online |9 978-3-642-79651-7 | ||
| 020 | |a 9783642796531 |c Print |9 978-3-642-79653-1 | ||
| 024 | 7 | |a 10.1007/978-3-642-79651-7 |2 doi | |
| 035 | |a (OCoLC)863817346 | ||
| 035 | |a (DE-599)BVBBV042423011 | ||
| 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 C++ Toolbox for Verified Computing I |b Basic Numerical Problems Theory, Algorithms, and Programs |c by Ulrich Kulisch, Rolf Hammer, Matthias Hocks, Dietmar Ratz |
| 246 | 1 | 3 | |a Theory, Algorithms, and Programs |
| 264 | 1 | |a Berlin, Heidelberg |b Springer Berlin Heidelberg |c 1995 | |
| 300 | |a 1 Online-Ressource (XVIII, 382p) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 500 | |a This C++ Toolbox for Verified Computing presents an extensive set of sophisticated tools for solving basic numerical problems with verification of the results. It is the C++ edition of the Numerical Toolbox for Verified Computing which was based on the computer language PASCAL-XSC. The sources of the programs in this book are freely available via anonymous ftp. This book offers a general discussion on arithmetic and computational reliablility, analytical mathematics and verification techniques, algoriths, and (most importantly) actual C++ implementations. In each chapter, examples, exercises, and numerical results demonstrate the application of the routines presented. The book introduces many computational verification techniques. It is not assumed that the reader has any prior formal knowledge of numerical verification or any familiarity with interval analysis. The necessary concepts are introduced. Some of the subjects that the book covers in detail are not usually found in standard numerical analysis texts | ||
| 650 | 4 | |a Mathematics | |
| 650 | 4 | |a Global analysis (Mathematics) | |
| 650 | 4 | |a Algorithms | |
| 650 | 4 | |a Numerical analysis | |
| 650 | 4 | |a Mathematical physics | |
| 650 | 4 | |a Engineering mathematics | |
| 650 | 4 | |a Numerical Analysis | |
| 650 | 4 | |a Analysis | |
| 650 | 4 | |a Appl.Mathematics/Computational Methods of Engineering | |
| 650 | 4 | |a Mathematical Methods in Physics | |
| 650 | 4 | |a Numerical and Computational Physics | |
| 650 | 4 | |a Mathematik | |
| 650 | 4 | |a Mathematische Physik | |
| 700 | 1 | |a Hammer, Rolf |e Sonstige |4 oth | |
| 700 | 1 | |a Hocks, Matthias |e Sonstige |4 oth | |
| 700 | 1 | |a Ratz, Dietmar |e Sonstige |4 oth | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-642-79651-7 |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-027858428 | ||
Datensatz im Suchindex
| _version_ | 1804153098181017600 |
|---|---|
| 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 | BV042423011 |
| classification_tum | MAT 000 |
| collection | ZDB-2-SMA ZDB-2-BAE |
| ctrlnum | (OCoLC)863817346 (DE-599)BVBBV042423011 |
| 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-642-79651-7 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02928nmm a2200553zc 4500</leader><controlfield tag="001">BV042423011</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">150317s1995 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642796517</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-642-79651-7</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642796531</subfield><subfield code="c">Print</subfield><subfield code="9">978-3-642-79653-1</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-642-79651-7</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)863817346</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042423011</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">C++ Toolbox for Verified Computing I</subfield><subfield code="b">Basic Numerical Problems Theory, Algorithms, and Programs</subfield><subfield code="c">by Ulrich Kulisch, Rolf Hammer, Matthias Hocks, Dietmar Ratz</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">Theory, Algorithms, and Programs</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin, Heidelberg</subfield><subfield code="b">Springer Berlin Heidelberg</subfield><subfield code="c">1995</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XVIII, 382p)</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">This C++ Toolbox for Verified Computing presents an extensive set of sophisticated tools for solving basic numerical problems with verification of the results. It is the C++ edition of the Numerical Toolbox for Verified Computing which was based on the computer language PASCAL-XSC. The sources of the programs in this book are freely available via anonymous ftp. This book offers a general discussion on arithmetic and computational reliablility, analytical mathematics and verification techniques, algoriths, and (most importantly) actual C++ implementations. In each chapter, examples, exercises, and numerical results demonstrate the application of the routines presented. The book introduces many computational verification techniques. It is not assumed that the reader has any prior formal knowledge of numerical verification or any familiarity with interval analysis. The necessary concepts are introduced. Some of the subjects that the book covers in detail are not usually found in standard numerical analysis texts</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematics</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 physics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Engineering mathematics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Numerical Analysis</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Analysis</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Appl.Mathematics/Computational Methods of Engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical Methods in Physics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Numerical and Computational Physics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematische Physik</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Hammer, Rolf</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Hocks, Matthias</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Ratz, Dietmar</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-642-79651-7</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-027858428</subfield></datafield></record></collection> |
| id | DE-604.BV042423011 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T01:21:12Z |
| institution | BVB |
| isbn | 9783642796517 9783642796531 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027858428 |
| oclc_num | 863817346 |
| 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 (XVIII, 382p) |
| psigel | ZDB-2-SMA ZDB-2-BAE ZDB-2-SMA_Archive |
| publishDate | 1995 |
| publishDateSearch | 1995 |
| publishDateSort | 1995 |
| publisher | Springer Berlin Heidelberg |
| record_format | marc |
| spelling | Kulisch, Ulrich Verfasser aut C++ Toolbox for Verified Computing I Basic Numerical Problems Theory, Algorithms, and Programs by Ulrich Kulisch, Rolf Hammer, Matthias Hocks, Dietmar Ratz Theory, Algorithms, and Programs Berlin, Heidelberg Springer Berlin Heidelberg 1995 1 Online-Ressource (XVIII, 382p) txt rdacontent c rdamedia cr rdacarrier This C++ Toolbox for Verified Computing presents an extensive set of sophisticated tools for solving basic numerical problems with verification of the results. It is the C++ edition of the Numerical Toolbox for Verified Computing which was based on the computer language PASCAL-XSC. The sources of the programs in this book are freely available via anonymous ftp. This book offers a general discussion on arithmetic and computational reliablility, analytical mathematics and verification techniques, algoriths, and (most importantly) actual C++ implementations. In each chapter, examples, exercises, and numerical results demonstrate the application of the routines presented. The book introduces many computational verification techniques. It is not assumed that the reader has any prior formal knowledge of numerical verification or any familiarity with interval analysis. The necessary concepts are introduced. Some of the subjects that the book covers in detail are not usually found in standard numerical analysis texts Mathematics Global analysis (Mathematics) Algorithms Numerical analysis Mathematical physics Engineering mathematics Numerical Analysis Analysis Appl.Mathematics/Computational Methods of Engineering Mathematical Methods in Physics Numerical and Computational Physics Mathematik Mathematische Physik Hammer, Rolf Sonstige oth Hocks, Matthias Sonstige oth Ratz, Dietmar Sonstige oth https://doi.org/10.1007/978-3-642-79651-7 Verlag Volltext |
| spellingShingle | Kulisch, Ulrich C++ Toolbox for Verified Computing I Basic Numerical Problems Theory, Algorithms, and Programs Mathematics Global analysis (Mathematics) Algorithms Numerical analysis Mathematical physics Engineering mathematics Numerical Analysis Analysis Appl.Mathematics/Computational Methods of Engineering Mathematical Methods in Physics Numerical and Computational Physics Mathematik Mathematische Physik |
| title | C++ Toolbox for Verified Computing I Basic Numerical Problems Theory, Algorithms, and Programs |
| title_alt | Theory, Algorithms, and Programs |
| title_auth | C++ Toolbox for Verified Computing I Basic Numerical Problems Theory, Algorithms, and Programs |
| title_exact_search | C++ Toolbox for Verified Computing I Basic Numerical Problems Theory, Algorithms, and Programs |
| title_full | C++ Toolbox for Verified Computing I Basic Numerical Problems Theory, Algorithms, and Programs by Ulrich Kulisch, Rolf Hammer, Matthias Hocks, Dietmar Ratz |
| title_fullStr | C++ Toolbox for Verified Computing I Basic Numerical Problems Theory, Algorithms, and Programs by Ulrich Kulisch, Rolf Hammer, Matthias Hocks, Dietmar Ratz |
| title_full_unstemmed | C++ Toolbox for Verified Computing I Basic Numerical Problems Theory, Algorithms, and Programs by Ulrich Kulisch, Rolf Hammer, Matthias Hocks, Dietmar Ratz |
| title_short | C++ Toolbox for Verified Computing I |
| title_sort | c toolbox for verified computing i basic numerical problems theory algorithms and programs |
| title_sub | Basic Numerical Problems Theory, Algorithms, and Programs |
| topic | Mathematics Global analysis (Mathematics) Algorithms Numerical analysis Mathematical physics Engineering mathematics Numerical Analysis Analysis Appl.Mathematics/Computational Methods of Engineering Mathematical Methods in Physics Numerical and Computational Physics Mathematik Mathematische Physik |
| topic_facet | Mathematics Global analysis (Mathematics) Algorithms Numerical analysis Mathematical physics Engineering mathematics Numerical Analysis Analysis Appl.Mathematics/Computational Methods of Engineering Mathematical Methods in Physics Numerical and Computational Physics Mathematik Mathematische Physik |
| url | https://doi.org/10.1007/978-3-642-79651-7 |
| work_keys_str_mv | AT kulischulrich ctoolboxforverifiedcomputingibasicnumericalproblemstheoryalgorithmsandprograms AT hammerrolf ctoolboxforverifiedcomputingibasicnumericalproblemstheoryalgorithmsandprograms AT hocksmatthias ctoolboxforverifiedcomputingibasicnumericalproblemstheoryalgorithmsandprograms AT ratzdietmar ctoolboxforverifiedcomputingibasicnumericalproblemstheoryalgorithmsandprograms AT kulischulrich theoryalgorithmsandprograms AT hammerrolf theoryalgorithmsandprograms AT hocksmatthias theoryalgorithmsandprograms AT ratzdietmar theoryalgorithmsandprograms |