Scientific computing and validated numerics: proceedings of the International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics, SCAN - 95 ; held in Wuppertal, Germany, September 26 - 29, 1995
Saved in:
| Other Authors: | , , |
|---|---|
| Format: | Conference Proceeding Book |
| Language: | German |
| Published: |
Berlin
Akademie Verlag
1996
|
| Series: | Mathematical research
Volume 90 |
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | 340 Seiten Diagramme |
| ISBN: | 3055017374 |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV010620346 | ||
| 003 | DE-604 | ||
| 005 | 20220509 | ||
| 007 | t | ||
| 008 | 960212s1996 gw |||| |||| 10||| ger d | ||
| 016 | 7 | |a 946744491 |2 DE-101 | |
| 020 | |a 3055017374 |c Pp. : ca. DM 130.00, ca. sfr 130.00, ca. S 962.00 |9 3-05-501737-4 | ||
| 035 | |a (OCoLC)34785471 | ||
| 035 | |a (DE-599)BVBBV010620346 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a ger | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-20 |a DE-739 |a DE-12 |a DE-824 |a DE-703 |a DE-521 |a DE-706 |a DE-83 | ||
| 050 | 0 | |a QA76.95.I577 1995 | |
| 082 | 0 | |a 004/.01/51 21 | |
| 082 | 0 | |a 004/.01/51 |2 21 | |
| 084 | |a SD 1995 |0 (DE-625)142729: |2 rvk | ||
| 084 | |a SI 858 |0 (DE-625)143203: |2 rvk | ||
| 084 | |a 27 |2 sdnb | ||
| 084 | |a 68-06 |2 msc | ||
| 084 | |a 65-06 |2 msc | ||
| 084 | |a 28 |2 sdnb | ||
| 245 | 1 | 0 | |a Scientific computing and validated numerics |b proceedings of the International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics, SCAN - 95 ; held in Wuppertal, Germany, September 26 - 29, 1995 |c edited by Götz Alefeld ; Andreas Frommer ; Bruno Lang |
| 264 | 1 | |a Berlin |b Akademie Verlag |c 1996 | |
| 300 | |a 340 Seiten |b Diagramme | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Mathematical research |v Volume 90 | |
| 650 | 7 | |a Mathématiques - Congrès |2 ram | |
| 650 | 4 | |a Datenverarbeitung | |
| 650 | 4 | |a Naturwissenschaft | |
| 650 | 4 | |a Numerical calculations -- Verification -- Congresses | |
| 650 | 4 | |a Science -- Data processing -- Congresses | |
| 650 | 0 | 7 | |a Richtigkeit von Ergebnissen |0 (DE-588)4127444-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Wissenschaftliches Rechnen |0 (DE-588)4338507-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Numerische Mathematik |0 (DE-588)4042805-9 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 1995 |z Wuppertal |2 gnd-content | |
| 689 | 0 | 0 | |a Wissenschaftliches Rechnen |0 (DE-588)4338507-2 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Numerische Mathematik |0 (DE-588)4042805-9 |D s |
| 689 | 1 | 1 | |a Richtigkeit von Ergebnissen |0 (DE-588)4127444-1 |D s |
| 689 | 1 | |5 DE-604 | |
| 700 | 1 | |a Alefeld, Götz |d 1941- |0 (DE-588)174094442 |4 edt | |
| 700 | 1 | |a Frommer, Andreas |0 (DE-588)111500303 |4 edt | |
| 700 | 1 | |a Lang, Bruno |0 (DE-588)125709226X |4 edt | |
| 711 | 2 | |a SCAN |n 5 |d 1995 |c Wuppertal |j Sonstige |0 (DE-588)2153887-6 |4 oth | |
| 830 | 0 | |a Mathematical research |v Volume 90 |w (DE-604)BV000008585 |9 90 | |
| 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=007085238&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-007085238 | ||
Record in the Search Index
| _version_ | 1804125095433601024 |
|---|---|
| adam_text | Contents
Hardware and Floating Point Operations
Hardware Reciprocal Table Compression/Decompression Techniques 11
D. Das Sarma and D. W. Matula
Implementing Division and Other Floating-Point Operations: A System Per¬
spective 18
S. F. Oberman and M. J. Flynn
A Processor for Accurate, Self-Validating Computing 25
M. J. Schulte and E. E. Swartzlander, Jr.
Hardware Support for Interval Arithmetic 32
J. Wolff von Gudenberg
Function Evaluation
Shared Computations for Efficient Interval Function Evaluation 38
E. Hyvonen and S. De Pascale
Computing Narrow Inclusions for Cauchy Principal Value Integrals 45
W. Kramer and S. Wedner
The Complex Arithmetic-Geometric Mean and Multiple-Precision Matrix Func¬
tions 52
W. Luther and W. Otten
Towards Exact Rounding of the Elementary Functions 59
J.-M. Muller and A. Tisserand
Calculation of the Inverse Weierstrafi Function in an Arbitrary Machine Arith¬
metic 72
K. Werner
8 Contents
Software
Processing Software Metrics in an Integrated Development Environment for
Pascal-XSC 79
H. M. E. Berlejung
Computational Stability Study Using the CADNA Software Applied to the
Navier-Stokes Solver PEGASE 84
J.-M. Chesneaux and B. Troff
The Use of Multi-Intervals in the UniCalc Solver 91
D. Petunin and A. Semenov
Linear Algebra
Success in Epsilon-Inflation 98
G. Mayer
The Distance Between Regularity and Strong Regularity 105
S. M. Rump
A New Approach to the Analysis of Static Systems Under Interval Uncertainty 118
S. P. Shary
Nonlinear Equations
Effective Improvements of the Interval-Newton-Method 133
G. E. Alefeld, F. A. Potra and W. Volker
On the Application of an Interval Algorithm for Set Inversion 140
M. Candev
On a Numerical Approach for Solving a Class of Nonlinear Systems 147
N. S. Dimitrova
On the R-Order of Convergence of a Class of Simultaneous Methods for the
Inclusion of Polynomial Roots 154
J. Herzberger
Treating Non-Smooth Functions as Smooth Functions in Global Optimization
and Nonlinear Systems Solvers 160
R. B. Kearfott
Optimal Preconditioners for Interval Gauss-Seidel Methods 173
R. B. Kearfott and X. Shi
Contents 9
Inclusion of the Inverse of a Function in n Variables 179
M. Koeber
A Generalized Bisection Method for Large and Imprecise Problems 186
M. N. Vrahatis
A Parallel Algorithm for Enclosing All Zeros of a Nonlinear System of Equa¬
tions 193
A. Wiethoff
Optimization
A Parallel Method for Verified Global Optimization 200
S. Berner
A Method for Verified Computing of Inner and Outer Approximations of the
Interval Hull of a Tolerance Polyhedron 207
G. Heindl
The Exact Lower Bound of Optimal Values in Interval LP 214
F. Mraz
On Branching Rules in Second-Order Branch-and-Bound Methods for Global
Optimization 221
D. Ratz
Differential Equations
Validating an A Priori Enclosure Using High-Order Taylor Series 228
G. F. Corliss and R. Rihm
A Posteriori Error Estimation for Partial Differential Equations 239
B. S. Dobronets
Inheritable Properties and Computer Assisted Proofs in Dynamics 245
M. Mrozek
Guaranteed Error Bounds for Finite Element Solutions of the Stokes Problem 258
M. T. Nakao, N. Yamamoto and Y. Watanabe
Enclosures for Two-Point Boundary Value Problems Near Bifurcation Points 265
M. Plum
10 Contents
Globally Convergent Iterative Domain Decomposition Methods for the Parallel
Solution of a Class of Nonlinear Systems of Equations 280
H. Schwandt
Rigorous Verification of Chaos in the Rossler Equations 287
P. Zgliczyriski
Complexity and Theory of Interval Problems
Computational Complexity of Interval Algebraic Problems: Some Are Feasible
and Some Are Computationally Intractable—A Survey 293
V. Kreinovich, A. Lakeyev and J. Rohn
On the Foundations of Interval Arithmetic 307
S. M. Markov
On Interval Problems, Interval Algorithms and Their Computational Complex¬
ity 314
Yu. I. Shokin
Applications in Engineering
Application of Automatic Differentiation Techniques to Circuit Simulation ... 329
H.-J. Dobner and W. Klein
Liquid Crystal Simulation Using Automatic Differentiation and Interval Arith¬
metic 334
A. Nonnenmacher and D. A. Mlynski
|
| any_adam_object | 1 |
| author2 | Alefeld, Götz 1941- Frommer, Andreas Lang, Bruno |
| author2_role | edt edt edt |
| author2_variant | g a ga a f af b l bl |
| author_GND | (DE-588)174094442 (DE-588)111500303 (DE-588)125709226X |
| author_facet | Alefeld, Götz 1941- Frommer, Andreas Lang, Bruno |
| building | Verbundindex |
| bvnumber | BV010620346 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.95.I577 1995 |
| callnumber-search | QA76.95.I577 1995 |
| callnumber-sort | QA 276.95 I577 41995 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SD 1995 SI 858 |
| ctrlnum | (OCoLC)34785471 (DE-599)BVBBV010620346 |
| dewey-full | 004/.01/5121 004/.01/51 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004/.01/51 21 004/.01/51 |
| dewey-search | 004/.01/51 21 004/.01/51 |
| dewey-sort | 14 11 251 221 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik Mathematik |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02729nam a2200625 cb4500</leader><controlfield tag="001">BV010620346</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20220509 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">960212s1996 gw |||| |||| 10||| ger d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">946744491</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3055017374</subfield><subfield code="c">Pp. : ca. DM 130.00, ca. sfr 130.00, ca. S 962.00</subfield><subfield code="9">3-05-501737-4</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)34785471</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010620346</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">ger</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">DE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-20</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-12</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-521</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-83</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.95.I577 1995</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004/.01/51 21</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004/.01/51</subfield><subfield code="2">21</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SD 1995</subfield><subfield code="0">(DE-625)142729:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SI 858</subfield><subfield code="0">(DE-625)143203:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">27</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">68-06</subfield><subfield code="2">msc</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">65-06</subfield><subfield code="2">msc</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">28</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Scientific computing and validated numerics</subfield><subfield code="b">proceedings of the International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics, SCAN - 95 ; held in Wuppertal, Germany, September 26 - 29, 1995</subfield><subfield code="c">edited by Götz Alefeld ; Andreas Frommer ; Bruno Lang</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin</subfield><subfield code="b">Akademie Verlag</subfield><subfield code="c">1996</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">340 Seiten</subfield><subfield code="b">Diagramme</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">Mathematical research</subfield><subfield code="v">Volume 90</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Mathématiques - Congrès</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Datenverarbeitung</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Naturwissenschaft</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Numerical calculations -- Verification -- Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Science -- Data processing -- Congresses</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="650" ind1="0" ind2="7"><subfield code="a">Wissenschaftliches Rechnen</subfield><subfield code="0">(DE-588)4338507-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Numerische Mathematik</subfield><subfield code="0">(DE-588)4042805-9</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">1995</subfield><subfield code="z">Wuppertal</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Wissenschaftliches Rechnen</subfield><subfield code="0">(DE-588)4338507-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Numerische Mathematik</subfield><subfield code="0">(DE-588)4042805-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" 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="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Alefeld, Götz</subfield><subfield code="d">1941-</subfield><subfield code="0">(DE-588)174094442</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Frommer, Andreas</subfield><subfield code="0">(DE-588)111500303</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Lang, Bruno</subfield><subfield code="0">(DE-588)125709226X</subfield><subfield code="4">edt</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">SCAN</subfield><subfield code="n">5</subfield><subfield code="d">1995</subfield><subfield code="c">Wuppertal</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)2153887-6</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Mathematical research</subfield><subfield code="v">Volume 90</subfield><subfield code="w">(DE-604)BV000008585</subfield><subfield code="9">90</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=007085238&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-007085238</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1995 Wuppertal gnd-content |
| genre_facet | Konferenzschrift 1995 Wuppertal |
| id | DE-604.BV010620346 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T17:56:06Z |
| institution | BVB |
| institution_GND | (DE-588)2153887-6 |
| isbn | 3055017374 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-007085238 |
| oclc_num | 34785471 |
| open_access_boolean | |
| owner | DE-20 DE-739 DE-12 DE-824 DE-703 DE-521 DE-706 DE-83 |
| owner_facet | DE-20 DE-739 DE-12 DE-824 DE-703 DE-521 DE-706 DE-83 |
| physical | 340 Seiten Diagramme |
| publishDate | 1996 |
| publishDateSearch | 1996 |
| publishDateSort | 1996 |
| publisher | Akademie Verlag |
| record_format | marc |
| series | Mathematical research |
| series2 | Mathematical research |
| spelling | Scientific computing and validated numerics proceedings of the International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics, SCAN - 95 ; held in Wuppertal, Germany, September 26 - 29, 1995 edited by Götz Alefeld ; Andreas Frommer ; Bruno Lang Berlin Akademie Verlag 1996 340 Seiten Diagramme txt rdacontent n rdamedia nc rdacarrier Mathematical research Volume 90 Mathématiques - Congrès ram Datenverarbeitung Naturwissenschaft Numerical calculations -- Verification -- Congresses Science -- Data processing -- Congresses Richtigkeit von Ergebnissen (DE-588)4127444-1 gnd rswk-swf Wissenschaftliches Rechnen (DE-588)4338507-2 gnd rswk-swf Numerische Mathematik (DE-588)4042805-9 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1995 Wuppertal gnd-content Wissenschaftliches Rechnen (DE-588)4338507-2 s DE-604 Numerische Mathematik (DE-588)4042805-9 s Richtigkeit von Ergebnissen (DE-588)4127444-1 s Alefeld, Götz 1941- (DE-588)174094442 edt Frommer, Andreas (DE-588)111500303 edt Lang, Bruno (DE-588)125709226X edt SCAN 5 1995 Wuppertal Sonstige (DE-588)2153887-6 oth Mathematical research Volume 90 (DE-604)BV000008585 90 HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007085238&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Scientific computing and validated numerics proceedings of the International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics, SCAN - 95 ; held in Wuppertal, Germany, September 26 - 29, 1995 Mathematical research Mathématiques - Congrès ram Datenverarbeitung Naturwissenschaft Numerical calculations -- Verification -- Congresses Science -- Data processing -- Congresses Richtigkeit von Ergebnissen (DE-588)4127444-1 gnd Wissenschaftliches Rechnen (DE-588)4338507-2 gnd Numerische Mathematik (DE-588)4042805-9 gnd |
| subject_GND | (DE-588)4127444-1 (DE-588)4338507-2 (DE-588)4042805-9 (DE-588)1071861417 |
| title | Scientific computing and validated numerics proceedings of the International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics, SCAN - 95 ; held in Wuppertal, Germany, September 26 - 29, 1995 |
| title_auth | Scientific computing and validated numerics proceedings of the International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics, SCAN - 95 ; held in Wuppertal, Germany, September 26 - 29, 1995 |
| title_exact_search | Scientific computing and validated numerics proceedings of the International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics, SCAN - 95 ; held in Wuppertal, Germany, September 26 - 29, 1995 |
| title_full | Scientific computing and validated numerics proceedings of the International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics, SCAN - 95 ; held in Wuppertal, Germany, September 26 - 29, 1995 edited by Götz Alefeld ; Andreas Frommer ; Bruno Lang |
| title_fullStr | Scientific computing and validated numerics proceedings of the International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics, SCAN - 95 ; held in Wuppertal, Germany, September 26 - 29, 1995 edited by Götz Alefeld ; Andreas Frommer ; Bruno Lang |
| title_full_unstemmed | Scientific computing and validated numerics proceedings of the International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics, SCAN - 95 ; held in Wuppertal, Germany, September 26 - 29, 1995 edited by Götz Alefeld ; Andreas Frommer ; Bruno Lang |
| title_short | Scientific computing and validated numerics |
| title_sort | scientific computing and validated numerics proceedings of the international symposium on scientific computing computer arithmetic and validated numerics scan 95 held in wuppertal germany september 26 29 1995 |
| title_sub | proceedings of the International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics, SCAN - 95 ; held in Wuppertal, Germany, September 26 - 29, 1995 |
| topic | Mathématiques - Congrès ram Datenverarbeitung Naturwissenschaft Numerical calculations -- Verification -- Congresses Science -- Data processing -- Congresses Richtigkeit von Ergebnissen (DE-588)4127444-1 gnd Wissenschaftliches Rechnen (DE-588)4338507-2 gnd Numerische Mathematik (DE-588)4042805-9 gnd |
| topic_facet | Mathématiques - Congrès Datenverarbeitung Naturwissenschaft Numerical calculations -- Verification -- Congresses Science -- Data processing -- Congresses Richtigkeit von Ergebnissen Wissenschaftliches Rechnen Numerische Mathematik Konferenzschrift 1995 Wuppertal |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007085238&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000008585 |
| work_keys_str_mv | AT alefeldgotz scientificcomputingandvalidatednumericsproceedingsoftheinternationalsymposiumonscientificcomputingcomputerarithmeticandvalidatednumericsscan95heldinwuppertalgermanyseptember26291995 AT frommerandreas scientificcomputingandvalidatednumericsproceedingsoftheinternationalsymposiumonscientificcomputingcomputerarithmeticandvalidatednumericsscan95heldinwuppertalgermanyseptember26291995 AT langbruno scientificcomputingandvalidatednumericsproceedingsoftheinternationalsymposiumonscientificcomputingcomputerarithmeticandvalidatednumericsscan95heldinwuppertalgermanyseptember26291995 AT scanwuppertal scientificcomputingandvalidatednumericsproceedingsoftheinternationalsymposiumonscientificcomputingcomputerarithmeticandvalidatednumericsscan95heldinwuppertalgermanyseptember26291995 |