Topics in validated computations: proceedings of the IMACS-GAMM International Workshop on Validated Computation ; Oldenburg, Germany, 30 August - 3 September 1993
Saved in:
| Format: | Conference Proceeding Book |
|---|---|
| Language: | English |
| Published: |
Amsterdam u.a.
Elsevier
1994
|
| Series: | Studies in computational mathematics
5 |
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | VIII, 497 S. Ill., graph. Darst. |
| ISBN: | 0444816852 |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV010133059 | ||
| 003 | DE-604 | ||
| 005 | 19950503 | ||
| 007 | t | ||
| 008 | 950410s1994 ad|| |||| 10||| eng d | ||
| 020 | |a 0444816852 |9 0-444-81685-2 | ||
| 035 | |a (OCoLC)468324894 | ||
| 035 | |a (DE-599)BVBBV010133059 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-20 | ||
| 082 | 1 | |a 518 |2 22 | |
| 245 | 1 | 0 | |a Topics in validated computations |b proceedings of the IMACS-GAMM International Workshop on Validated Computation ; Oldenburg, Germany, 30 August - 3 September 1993 |c ed. by Jürgen Herzberger |
| 264 | 1 | |a Amsterdam u.a. |b Elsevier |c 1994 | |
| 300 | |a VIII, 497 S. |b Ill., graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Studies in computational mathematics |v 5 | |
| 650 | 7 | |a Algorithmes - Congrès |2 ram | |
| 650 | 7 | |a Calcul sur des intervalles - Congrès |2 ram | |
| 650 | 0 | 7 | |a Intervallalgebra |0 (DE-588)4139152-4 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 1993 |z Oldenburg Oldenburg |2 gnd-content | |
| 689 | 0 | 0 | |a Intervallalgebra |0 (DE-588)4139152-4 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Herzberger, Jürgen |e Sonstige |4 oth | |
| 710 | 2 | |a International Association for Mathematics and Computers in Simulation |e Sonstige |0 (DE-588)90246-9 |4 oth | |
| 711 | 2 | |a International Workshop on Validated Computation |d 1993 |c Oldenburg (Oldenburg) |j Sonstige |0 (DE-588)5132129-4 |4 oth | |
| 830 | 0 | |a Studies in computational mathematics |v 5 |w (DE-604)BV001895633 |9 5 | |
| 856 | 4 | 2 | |m HBZ Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006730201&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-006730201 | ||
Record in the Search Index
| _version_ | 1804124528071147520 |
|---|---|
| adam_text | viii
CONTENTS
Basic definitions and properties of interval arithmetic (J. Herzberger) 1
Inclusion methods for systems of nonlinear equations the interval New 7
ton method and modifications (G. Alefeld)
Validated computation of polynomial zeros by the Durand Kerner 27
method (T. Yamamoto, S. Kanno, and L. Atanassova)
Validated computation of polynomial zeros by the Durand Kerner 55
method II (5. Kanno and T. Yamamoto)
Verification methods for dense and sparse systems of equations 63
(S.M. Rump)
Iterative methods for the inclusion of the inverse of a matrix 137
(J. Herzberger)
Interval methods for initial value problems in ODE s (R. Rihm) 173
Result verification for eigenvectors and eigenvalues (G. Mayer) 209
Inclusions for eigenvalues of selfadjoint problems (H. Behnke and Til
F. Goerisch)
Inclusion methods for elliptic boundary value problems (M. Plum) 323
On self validating methods for optimization problems (C. Jansson) 381
Inclusion methods in solving engineering problems (G. Heindl) 439
NP hardness results for linear algebraic problems with interval data 463
{J. Rohn)
Interval arithmetic on computers (C. Ullrich) 473
|
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV010133059 |
| ctrlnum | (OCoLC)468324894 (DE-599)BVBBV010133059 |
| 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 | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01846nam a2200397 cb4500</leader><controlfield tag="001">BV010133059</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19950503 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">950410s1994 ad|| |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0444816852</subfield><subfield code="9">0-444-81685-2</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)468324894</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010133059</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-20</subfield></datafield><datafield tag="082" ind1="1" ind2=" "><subfield code="a">518</subfield><subfield code="2">22</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Topics in validated computations</subfield><subfield code="b">proceedings of the IMACS-GAMM International Workshop on Validated Computation ; Oldenburg, Germany, 30 August - 3 September 1993</subfield><subfield code="c">ed. by Jürgen Herzberger</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam u.a.</subfield><subfield code="b">Elsevier</subfield><subfield code="c">1994</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">VIII, 497 S.</subfield><subfield code="b">Ill., graph. Darst.</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="490" ind1="1" ind2=" "><subfield code="a">Studies in computational mathematics</subfield><subfield code="v">5</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Algorithmes - Congrès</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Calcul sur des intervalles - Congrès</subfield><subfield code="2">ram</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="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">1993</subfield><subfield code="z">Oldenburg Oldenburg</subfield><subfield code="2">gnd-content</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=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Herzberger, Jürgen</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="710" ind1="2" ind2=" "><subfield code="a">International Association for Mathematics and Computers in Simulation</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)90246-9</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">International Workshop on Validated Computation</subfield><subfield code="d">1993</subfield><subfield code="c">Oldenburg (Oldenburg)</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)5132129-4</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Studies in computational mathematics</subfield><subfield code="v">5</subfield><subfield code="w">(DE-604)BV001895633</subfield><subfield code="9">5</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HBZ Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006730201&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-006730201</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1993 Oldenburg Oldenburg gnd-content |
| genre_facet | Konferenzschrift 1993 Oldenburg Oldenburg |
| id | DE-604.BV010133059 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T17:47:05Z |
| institution | BVB |
| institution_GND | (DE-588)90246-9 (DE-588)5132129-4 |
| isbn | 0444816852 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006730201 |
| oclc_num | 468324894 |
| open_access_boolean | |
| owner | DE-20 |
| owner_facet | DE-20 |
| physical | VIII, 497 S. Ill., graph. Darst. |
| publishDate | 1994 |
| publishDateSearch | 1994 |
| publishDateSort | 1994 |
| publisher | Elsevier |
| record_format | marc |
| series | Studies in computational mathematics |
| series2 | Studies in computational mathematics |
| spelling | Topics in validated computations proceedings of the IMACS-GAMM International Workshop on Validated Computation ; Oldenburg, Germany, 30 August - 3 September 1993 ed. by Jürgen Herzberger Amsterdam u.a. Elsevier 1994 VIII, 497 S. Ill., graph. Darst. txt rdacontent n rdamedia nc rdacarrier Studies in computational mathematics 5 Algorithmes - Congrès ram Calcul sur des intervalles - Congrès ram Intervallalgebra (DE-588)4139152-4 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1993 Oldenburg Oldenburg gnd-content Intervallalgebra (DE-588)4139152-4 s DE-604 Herzberger, Jürgen Sonstige oth International Association for Mathematics and Computers in Simulation Sonstige (DE-588)90246-9 oth International Workshop on Validated Computation 1993 Oldenburg (Oldenburg) Sonstige (DE-588)5132129-4 oth Studies in computational mathematics 5 (DE-604)BV001895633 5 HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006730201&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Topics in validated computations proceedings of the IMACS-GAMM International Workshop on Validated Computation ; Oldenburg, Germany, 30 August - 3 September 1993 Studies in computational mathematics Algorithmes - Congrès ram Calcul sur des intervalles - Congrès ram Intervallalgebra (DE-588)4139152-4 gnd |
| subject_GND | (DE-588)4139152-4 (DE-588)1071861417 |
| title | Topics in validated computations proceedings of the IMACS-GAMM International Workshop on Validated Computation ; Oldenburg, Germany, 30 August - 3 September 1993 |
| title_auth | Topics in validated computations proceedings of the IMACS-GAMM International Workshop on Validated Computation ; Oldenburg, Germany, 30 August - 3 September 1993 |
| title_exact_search | Topics in validated computations proceedings of the IMACS-GAMM International Workshop on Validated Computation ; Oldenburg, Germany, 30 August - 3 September 1993 |
| title_full | Topics in validated computations proceedings of the IMACS-GAMM International Workshop on Validated Computation ; Oldenburg, Germany, 30 August - 3 September 1993 ed. by Jürgen Herzberger |
| title_fullStr | Topics in validated computations proceedings of the IMACS-GAMM International Workshop on Validated Computation ; Oldenburg, Germany, 30 August - 3 September 1993 ed. by Jürgen Herzberger |
| title_full_unstemmed | Topics in validated computations proceedings of the IMACS-GAMM International Workshop on Validated Computation ; Oldenburg, Germany, 30 August - 3 September 1993 ed. by Jürgen Herzberger |
| title_short | Topics in validated computations |
| title_sort | topics in validated computations proceedings of the imacs gamm international workshop on validated computation oldenburg germany 30 august 3 september 1993 |
| title_sub | proceedings of the IMACS-GAMM International Workshop on Validated Computation ; Oldenburg, Germany, 30 August - 3 September 1993 |
| topic | Algorithmes - Congrès ram Calcul sur des intervalles - Congrès ram Intervallalgebra (DE-588)4139152-4 gnd |
| topic_facet | Algorithmes - Congrès Calcul sur des intervalles - Congrès Intervallalgebra Konferenzschrift 1993 Oldenburg Oldenburg |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006730201&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV001895633 |
| work_keys_str_mv | AT herzbergerjurgen topicsinvalidatedcomputationsproceedingsoftheimacsgamminternationalworkshoponvalidatedcomputationoldenburggermany30august3september1993 AT internationalassociationformathematicsandcomputersinsimulation topicsinvalidatedcomputationsproceedingsoftheimacsgamminternationalworkshoponvalidatedcomputationoldenburggermany30august3september1993 AT internationalworkshoponvalidatedcomputationoldenburgoldenburg topicsinvalidatedcomputationsproceedingsoftheimacsgamminternationalworkshoponvalidatedcomputationoldenburggermany30august3september1993 |