Scientific computing with automatic result verification /:
A collection of papers on recent progress in the development of numerical applications with automatic result verification. The book includes various applications of enclosure methods to problems in the engineering sciences, such as MHD flow calculations and KKR bandstructure calculations.
Gespeichert in:
| Weitere Verfasser: | , |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Boston :
Academic Press,
©1993.
|
| Schriftenreihe: | Mathematics in science and engineering ;
v. 189. |
| Schlagworte: | |
| Online-Zugang: | Volltext Volltext |
| Zusammenfassung: | A collection of papers on recent progress in the development of numerical applications with automatic result verification. The book includes various applications of enclosure methods to problems in the engineering sciences, such as MHD flow calculations and KKR bandstructure calculations. |
| Beschreibung: | 1 online resource (x, 612 pages) |
| Format: | Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002. |
| Bibliographie: | Includes bibliographical references and index. |
| ISBN: | 9780120442102 0120442108 9780080958750 0080958753 1282290169 9781282290167 |
Internformat
MARC
| LEADER | 00000cam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | ZDB-4-EBA-ocn316566653 | ||
| 003 | OCoLC | ||
| 005 | 20241004212047.0 | ||
| 006 | m o d | ||
| 007 | cr cnu---unuuu | ||
| 008 | 090320s1993 mau ob 001 0 eng d | ||
| 040 | |a OPELS |b eng |e pn |c OPELS |d N$T |d OCLCQ |d EBLCP |d IDEBK |d OPELS |d OCLCE |d E7B |d OCLCQ |d OPELS |d MHW |d OCLCQ |d OCLCF |d DEBBG |d OCLCQ |d YDXCP |d OCLCQ |d DEBSZ |d AGLDB |d OCLCQ |d U3W |d VTS |d STF |d OCLCQ |d K6U |d AUD |d M8D |d REC |d OCLCO |d OCLCQ |d OCLCO |d OCLCL |d SXB |d OCLCQ |d OCLCO | ||
| 019 | |a 297391396 |a 645831083 |a 823843601 |a 823912346 |a 824099372 |a 824154794 |a 978441769 |a 978881203 |a 1043367996 |a 1047932121 |a 1086442689 |a 1086506379 |a 1157108296 |a 1157915143 |a 1158009063 |a 1160030436 |a 1178688454 |a 1183917187 |a 1249424548 |a 1257365765 |a 1296759662 | ||
| 020 | |a 9780120442102 |q (electronic bk.) | ||
| 020 | |a 0120442108 |q (electronic bk.) | ||
| 020 | |a 9780080958750 |q (electronic bk.) | ||
| 020 | |a 0080958753 |q (electronic bk.) | ||
| 020 | |a 1282290169 | ||
| 020 | |a 9781282290167 | ||
| 035 | |a (OCoLC)316566653 |z (OCoLC)297391396 |z (OCoLC)645831083 |z (OCoLC)823843601 |z (OCoLC)823912346 |z (OCoLC)824099372 |z (OCoLC)824154794 |z (OCoLC)978441769 |z (OCoLC)978881203 |z (OCoLC)1043367996 |z (OCoLC)1047932121 |z (OCoLC)1086442689 |z (OCoLC)1086506379 |z (OCoLC)1157108296 |z (OCoLC)1157915143 |z (OCoLC)1158009063 |z (OCoLC)1160030436 |z (OCoLC)1178688454 |z (OCoLC)1183917187 |z (OCoLC)1249424548 |z (OCoLC)1257365765 |z (OCoLC)1296759662 | ||
| 042 | |a dlr | ||
| 050 | 4 | |a QA76 |b .S368 1993eb | |
| 072 | 7 | |a MAT |x 003000 |2 bisacsh | |
| 072 | 7 | |a GPF |2 bicssc | |
| 082 | 7 | |a 519.4/0285 |2 22 | |
| 049 | |a MAIN | ||
| 245 | 0 | 0 | |a Scientific computing with automatic result verification / |c edited by E. Adams, U. Kulisch. |
| 260 | |a Boston : |b Academic Press, |c ©1993. | ||
| 300 | |a 1 online resource (x, 612 pages) | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 490 | 1 | |a Mathematics in science and engineering ; |v v. 189 | |
| 504 | |a Includes bibliographical references and index. | ||
| 505 | 0 | |a Front Cover; Scientific Computing With Automatic Result Verification; Copyright Page; Contents; Contributors; Preface; Acknowledgements; Introduction; Part I. Language and Progmmmmg Support for Verified Scientific Computation; Chapter 1. PASCAL-XSC, New Concepts for Scientific Computation and Numerical Data Processing; Chapter 2. ACRITH-XSC, A Fortran-like Language for Verified Scientific Computing; Chapter 3. C-XSC, A Programming Environment for Verified Scientific Computing and Numerical Data Processing; Chapter 4. Proposal for Accurate Floating-Point Vector Arithmetic. | |
| 520 | |a A collection of papers on recent progress in the development of numerical applications with automatic result verification. The book includes various applications of enclosure methods to problems in the engineering sciences, such as MHD flow calculations and KKR bandstructure calculations. | ||
| 588 | 0 | |a Print version record. | |
| 506 | |3 Use copy |f Restrictions unspecified |2 star |5 MiAaHDL | ||
| 533 | |a Electronic reproduction. |b [Place of publication not identified] : |c HathiTrust Digital Library, |d 2010. |5 MiAaHDL | ||
| 538 | |a Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002. |u http://purl.oclc.org/DLF/benchrepro0212 |5 MiAaHDL | ||
| 583 | 1 | |a digitized |c 2010 |h HathiTrust Digital Library |l committed to preserve |2 pda |5 MiAaHDL | |
| 650 | 0 | |a Electronic data processing. |0 http://id.loc.gov/authorities/subjects/sh85042288 | |
| 650 | 0 | |a Computer science |x Mathematics. |0 http://id.loc.gov/authorities/subjects/sh85042295 | |
| 650 | 6 | |a Informatique |x Mathématiques. | |
| 650 | 7 | |a MATHEMATICS |x Applied. |2 bisacsh | |
| 650 | 7 | |a Computer science |x Mathematics |2 fast | |
| 650 | 7 | |a Electronic data processing |2 fast | |
| 650 | 7 | |a Analyse numérique. |2 ram | |
| 653 | 0 | |a Numerical analysis |a Use of |a Computers | |
| 700 | 1 | |a Adams, Ernst. |1 https://id.oclc.org/worldcat/entity/E39PBJkhHxGfVTVYF6Y84yWJjC |0 http://id.loc.gov/authorities/names/nr88008988 | |
| 700 | 1 | |a Kulisch, Ulrich. |1 https://id.oclc.org/worldcat/entity/E39PBJwX77vpKp4CvgvttmTGpP |0 http://id.loc.gov/authorities/names/n80131527 | |
| 758 | |i has work: |a Scientific computing with automatic result verification (Text) |1 https://id.oclc.org/worldcat/entity/E39PCFKTKhX6MBRVGtvX7vJJjC |4 https://id.oclc.org/worldcat/ontology/hasWork | ||
| 776 | 0 | 8 | |i Print version: |t Scientific computing with automatic result verification. |d Boston : Academic Press, ©1993 |z 9780120442102 |w (DLC) 92247371 |w (OCoLC)26917369 |
| 830 | 0 | |a Mathematics in science and engineering ; |v v. 189. |0 http://id.loc.gov/authorities/names/n42015986 | |
| 856 | 4 | 0 | |l FWS01 |p ZDB-4-EBA |q FWS_PDA_EBA |u https://www.sciencedirect.com/science/bookseries/00765392/189 |3 Volltext |
| 856 | 4 | 0 | |l FWS01 |p ZDB-4-EBA |q FWS_PDA_EBA |u https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=296978 |3 Volltext |
| 938 | |a ProQuest Ebook Central |b EBLB |n EBL452905 | ||
| 938 | |a ebrary |b EBRY |n ebr10329581 | ||
| 938 | |a EBSCOhost |b EBSC |n 296978 | ||
| 938 | |a ProQuest MyiLibrary Digital eBook Collection |b IDEB |n 229016 | ||
| 938 | |a YBP Library Services |b YANK |n 3101881 | ||
| 994 | |a 92 |b GEBAY | ||
| 912 | |a ZDB-4-EBA | ||
| 049 | |a DE-863 | ||
Datensatz im Suchindex
| DE-BY-FWS_katkey | ZDB-4-EBA-ocn316566653 |
|---|---|
| _version_ | 1816881689280905216 |
| adam_text | |
| any_adam_object | |
| author2 | Adams, Ernst Kulisch, Ulrich |
| author2_role | |
| author2_variant | e a ea u k uk |
| author_GND | http://id.loc.gov/authorities/names/nr88008988 http://id.loc.gov/authorities/names/n80131527 |
| author_facet | Adams, Ernst Kulisch, Ulrich |
| author_sort | Adams, Ernst |
| building | Verbundindex |
| bvnumber | localFWS |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76 .S368 1993eb |
| callnumber-search | QA76 .S368 1993eb |
| callnumber-sort | QA 276 S368 41993EB |
| callnumber-subject | QA - Mathematics |
| collection | ZDB-4-EBA |
| contents | Front Cover; Scientific Computing With Automatic Result Verification; Copyright Page; Contents; Contributors; Preface; Acknowledgements; Introduction; Part I. Language and Progmmmmg Support for Verified Scientific Computation; Chapter 1. PASCAL-XSC, New Concepts for Scientific Computation and Numerical Data Processing; Chapter 2. ACRITH-XSC, A Fortran-like Language for Verified Scientific Computing; Chapter 3. C-XSC, A Programming Environment for Verified Scientific Computing and Numerical Data Processing; Chapter 4. Proposal for Accurate Floating-Point Vector Arithmetic. |
| ctrlnum | (OCoLC)316566653 |
| dewey-full | 519.4/0285 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 519 - Probabilities and applied mathematics |
| dewey-raw | 519.4/0285 |
| dewey-search | 519.4/0285 |
| dewey-sort | 3519.4 3285 |
| dewey-tens | 510 - Mathematics |
| discipline | Mathematik |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>05221cam a2200709 a 4500</leader><controlfield tag="001">ZDB-4-EBA-ocn316566653</controlfield><controlfield tag="003">OCoLC</controlfield><controlfield tag="005">20241004212047.0</controlfield><controlfield tag="006">m o d </controlfield><controlfield tag="007">cr cnu---unuuu</controlfield><controlfield tag="008">090320s1993 mau ob 001 0 eng d</controlfield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">OPELS</subfield><subfield code="b">eng</subfield><subfield code="e">pn</subfield><subfield code="c">OPELS</subfield><subfield code="d">N$T</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">EBLCP</subfield><subfield code="d">IDEBK</subfield><subfield code="d">OPELS</subfield><subfield code="d">OCLCE</subfield><subfield code="d">E7B</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OPELS</subfield><subfield code="d">MHW</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCF</subfield><subfield code="d">DEBBG</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">YDXCP</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">DEBSZ</subfield><subfield code="d">AGLDB</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">U3W</subfield><subfield code="d">VTS</subfield><subfield code="d">STF</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">K6U</subfield><subfield code="d">AUD</subfield><subfield code="d">M8D</subfield><subfield code="d">REC</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCL</subfield><subfield code="d">SXB</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield></datafield><datafield tag="019" ind1=" " ind2=" "><subfield code="a">297391396</subfield><subfield code="a">645831083</subfield><subfield code="a">823843601</subfield><subfield code="a">823912346</subfield><subfield code="a">824099372</subfield><subfield code="a">824154794</subfield><subfield code="a">978441769</subfield><subfield code="a">978881203</subfield><subfield code="a">1043367996</subfield><subfield code="a">1047932121</subfield><subfield code="a">1086442689</subfield><subfield code="a">1086506379</subfield><subfield code="a">1157108296</subfield><subfield code="a">1157915143</subfield><subfield code="a">1158009063</subfield><subfield code="a">1160030436</subfield><subfield code="a">1178688454</subfield><subfield code="a">1183917187</subfield><subfield code="a">1249424548</subfield><subfield code="a">1257365765</subfield><subfield code="a">1296759662</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780120442102</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0120442108</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780080958750</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0080958753</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1282290169</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781282290167</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)316566653</subfield><subfield code="z">(OCoLC)297391396</subfield><subfield code="z">(OCoLC)645831083</subfield><subfield code="z">(OCoLC)823843601</subfield><subfield code="z">(OCoLC)823912346</subfield><subfield code="z">(OCoLC)824099372</subfield><subfield code="z">(OCoLC)824154794</subfield><subfield code="z">(OCoLC)978441769</subfield><subfield code="z">(OCoLC)978881203</subfield><subfield code="z">(OCoLC)1043367996</subfield><subfield code="z">(OCoLC)1047932121</subfield><subfield code="z">(OCoLC)1086442689</subfield><subfield code="z">(OCoLC)1086506379</subfield><subfield code="z">(OCoLC)1157108296</subfield><subfield code="z">(OCoLC)1157915143</subfield><subfield code="z">(OCoLC)1158009063</subfield><subfield code="z">(OCoLC)1160030436</subfield><subfield code="z">(OCoLC)1178688454</subfield><subfield code="z">(OCoLC)1183917187</subfield><subfield code="z">(OCoLC)1249424548</subfield><subfield code="z">(OCoLC)1257365765</subfield><subfield code="z">(OCoLC)1296759662</subfield></datafield><datafield tag="042" ind1=" " ind2=" "><subfield code="a">dlr</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">QA76</subfield><subfield code="b">.S368 1993eb</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">MAT</subfield><subfield code="x">003000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">GPF</subfield><subfield code="2">bicssc</subfield></datafield><datafield tag="082" ind1="7" ind2=" "><subfield code="a">519.4/0285</subfield><subfield code="2">22</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">MAIN</subfield></datafield><datafield tag="245" ind1="0" ind2="0"><subfield code="a">Scientific computing with automatic result verification /</subfield><subfield code="c">edited by E. Adams, U. Kulisch.</subfield></datafield><datafield tag="260" ind1=" " ind2=" "><subfield code="a">Boston :</subfield><subfield code="b">Academic Press,</subfield><subfield code="c">©1993.</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (x, 612 pages)</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">computer</subfield><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">online resource</subfield><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Mathematics in science and engineering ;</subfield><subfield code="v">v. 189</subfield></datafield><datafield tag="504" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references and index.</subfield></datafield><datafield tag="505" ind1="0" ind2=" "><subfield code="a">Front Cover; Scientific Computing With Automatic Result Verification; Copyright Page; Contents; Contributors; Preface; Acknowledgements; Introduction; Part I. Language and Progmmmmg Support for Verified Scientific Computation; Chapter 1. PASCAL-XSC, New Concepts for Scientific Computation and Numerical Data Processing; Chapter 2. ACRITH-XSC, A Fortran-like Language for Verified Scientific Computing; Chapter 3. C-XSC, A Programming Environment for Verified Scientific Computing and Numerical Data Processing; Chapter 4. Proposal for Accurate Floating-Point Vector Arithmetic.</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">A collection of papers on recent progress in the development of numerical applications with automatic result verification. The book includes various applications of enclosure methods to problems in the engineering sciences, such as MHD flow calculations and KKR bandstructure calculations.</subfield></datafield><datafield tag="588" ind1="0" ind2=" "><subfield code="a">Print version record.</subfield></datafield><datafield tag="506" ind1=" " ind2=" "><subfield code="3">Use copy</subfield><subfield code="f">Restrictions unspecified</subfield><subfield code="2">star</subfield><subfield code="5">MiAaHDL</subfield></datafield><datafield tag="533" ind1=" " ind2=" "><subfield code="a">Electronic reproduction.</subfield><subfield code="b">[Place of publication not identified] :</subfield><subfield code="c">HathiTrust Digital Library,</subfield><subfield code="d">2010.</subfield><subfield code="5">MiAaHDL</subfield></datafield><datafield tag="538" ind1=" " ind2=" "><subfield code="a">Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002.</subfield><subfield code="u">http://purl.oclc.org/DLF/benchrepro0212</subfield><subfield code="5">MiAaHDL</subfield></datafield><datafield tag="583" ind1="1" ind2=" "><subfield code="a">digitized</subfield><subfield code="c">2010</subfield><subfield code="h">HathiTrust Digital Library</subfield><subfield code="l">committed to preserve</subfield><subfield code="2">pda</subfield><subfield code="5">MiAaHDL</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Electronic data processing.</subfield><subfield code="0">http://id.loc.gov/authorities/subjects/sh85042288</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Computer science</subfield><subfield code="x">Mathematics.</subfield><subfield code="0">http://id.loc.gov/authorities/subjects/sh85042295</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Informatique</subfield><subfield code="x">Mathématiques.</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">MATHEMATICS</subfield><subfield code="x">Applied.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Computer science</subfield><subfield code="x">Mathematics</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Electronic data processing</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Analyse numérique.</subfield><subfield code="2">ram</subfield></datafield><datafield tag="653" ind1="0" ind2=" "><subfield code="a">Numerical analysis</subfield><subfield code="a">Use of</subfield><subfield code="a">Computers</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Adams, Ernst.</subfield><subfield code="1">https://id.oclc.org/worldcat/entity/E39PBJkhHxGfVTVYF6Y84yWJjC</subfield><subfield code="0">http://id.loc.gov/authorities/names/nr88008988</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Kulisch, Ulrich.</subfield><subfield code="1">https://id.oclc.org/worldcat/entity/E39PBJwX77vpKp4CvgvttmTGpP</subfield><subfield code="0">http://id.loc.gov/authorities/names/n80131527</subfield></datafield><datafield tag="758" ind1=" " ind2=" "><subfield code="i">has work:</subfield><subfield code="a">Scientific computing with automatic result verification (Text)</subfield><subfield code="1">https://id.oclc.org/worldcat/entity/E39PCFKTKhX6MBRVGtvX7vJJjC</subfield><subfield code="4">https://id.oclc.org/worldcat/ontology/hasWork</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Print version:</subfield><subfield code="t">Scientific computing with automatic result verification.</subfield><subfield code="d">Boston : Academic Press, ©1993</subfield><subfield code="z">9780120442102</subfield><subfield code="w">(DLC) 92247371</subfield><subfield code="w">(OCoLC)26917369</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Mathematics in science and engineering ;</subfield><subfield code="v">v. 189.</subfield><subfield code="0">http://id.loc.gov/authorities/names/n42015986</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="l">FWS01</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FWS_PDA_EBA</subfield><subfield code="u">https://www.sciencedirect.com/science/bookseries/00765392/189</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="l">FWS01</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FWS_PDA_EBA</subfield><subfield code="u">https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=296978</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">ProQuest Ebook Central</subfield><subfield code="b">EBLB</subfield><subfield code="n">EBL452905</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">ebrary</subfield><subfield code="b">EBRY</subfield><subfield code="n">ebr10329581</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">EBSCOhost</subfield><subfield code="b">EBSC</subfield><subfield code="n">296978</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">ProQuest MyiLibrary Digital eBook Collection</subfield><subfield code="b">IDEB</subfield><subfield code="n">229016</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">YBP Library Services</subfield><subfield code="b">YANK</subfield><subfield code="n">3101881</subfield></datafield><datafield tag="994" ind1=" " ind2=" "><subfield code="a">92</subfield><subfield code="b">GEBAY</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-4-EBA</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-863</subfield></datafield></record></collection> |
| id | ZDB-4-EBA-ocn316566653 |
| illustrated | Not Illustrated |
| indexdate | 2024-11-27T13:16:42Z |
| institution | BVB |
| isbn | 9780120442102 0120442108 9780080958750 0080958753 1282290169 9781282290167 |
| language | English |
| oclc_num | 316566653 |
| open_access_boolean | |
| owner | MAIN DE-863 DE-BY-FWS |
| owner_facet | MAIN DE-863 DE-BY-FWS |
| physical | 1 online resource (x, 612 pages) |
| psigel | ZDB-4-EBA |
| publishDate | 1993 |
| publishDateSearch | 1993 |
| publishDateSort | 1993 |
| publisher | Academic Press, |
| record_format | marc |
| series | Mathematics in science and engineering ; |
| series2 | Mathematics in science and engineering ; |
| spelling | Scientific computing with automatic result verification / edited by E. Adams, U. Kulisch. Boston : Academic Press, ©1993. 1 online resource (x, 612 pages) text txt rdacontent computer c rdamedia online resource cr rdacarrier Mathematics in science and engineering ; v. 189 Includes bibliographical references and index. Front Cover; Scientific Computing With Automatic Result Verification; Copyright Page; Contents; Contributors; Preface; Acknowledgements; Introduction; Part I. Language and Progmmmmg Support for Verified Scientific Computation; Chapter 1. PASCAL-XSC, New Concepts for Scientific Computation and Numerical Data Processing; Chapter 2. ACRITH-XSC, A Fortran-like Language for Verified Scientific Computing; Chapter 3. C-XSC, A Programming Environment for Verified Scientific Computing and Numerical Data Processing; Chapter 4. Proposal for Accurate Floating-Point Vector Arithmetic. A collection of papers on recent progress in the development of numerical applications with automatic result verification. The book includes various applications of enclosure methods to problems in the engineering sciences, such as MHD flow calculations and KKR bandstructure calculations. Print version record. Use copy Restrictions unspecified star MiAaHDL Electronic reproduction. [Place of publication not identified] : HathiTrust Digital Library, 2010. MiAaHDL Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002. http://purl.oclc.org/DLF/benchrepro0212 MiAaHDL digitized 2010 HathiTrust Digital Library committed to preserve pda MiAaHDL Electronic data processing. http://id.loc.gov/authorities/subjects/sh85042288 Computer science Mathematics. http://id.loc.gov/authorities/subjects/sh85042295 Informatique Mathématiques. MATHEMATICS Applied. bisacsh Computer science Mathematics fast Electronic data processing fast Analyse numérique. ram Numerical analysis Use of Computers Adams, Ernst. https://id.oclc.org/worldcat/entity/E39PBJkhHxGfVTVYF6Y84yWJjC http://id.loc.gov/authorities/names/nr88008988 Kulisch, Ulrich. https://id.oclc.org/worldcat/entity/E39PBJwX77vpKp4CvgvttmTGpP http://id.loc.gov/authorities/names/n80131527 has work: Scientific computing with automatic result verification (Text) https://id.oclc.org/worldcat/entity/E39PCFKTKhX6MBRVGtvX7vJJjC https://id.oclc.org/worldcat/ontology/hasWork Print version: Scientific computing with automatic result verification. Boston : Academic Press, ©1993 9780120442102 (DLC) 92247371 (OCoLC)26917369 Mathematics in science and engineering ; v. 189. http://id.loc.gov/authorities/names/n42015986 FWS01 ZDB-4-EBA FWS_PDA_EBA https://www.sciencedirect.com/science/bookseries/00765392/189 Volltext FWS01 ZDB-4-EBA FWS_PDA_EBA https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=296978 Volltext |
| spellingShingle | Scientific computing with automatic result verification / Mathematics in science and engineering ; Front Cover; Scientific Computing With Automatic Result Verification; Copyright Page; Contents; Contributors; Preface; Acknowledgements; Introduction; Part I. Language and Progmmmmg Support for Verified Scientific Computation; Chapter 1. PASCAL-XSC, New Concepts for Scientific Computation and Numerical Data Processing; Chapter 2. ACRITH-XSC, A Fortran-like Language for Verified Scientific Computing; Chapter 3. C-XSC, A Programming Environment for Verified Scientific Computing and Numerical Data Processing; Chapter 4. Proposal for Accurate Floating-Point Vector Arithmetic. Electronic data processing. http://id.loc.gov/authorities/subjects/sh85042288 Computer science Mathematics. http://id.loc.gov/authorities/subjects/sh85042295 Informatique Mathématiques. MATHEMATICS Applied. bisacsh Computer science Mathematics fast Electronic data processing fast Analyse numérique. ram |
| subject_GND | http://id.loc.gov/authorities/subjects/sh85042288 http://id.loc.gov/authorities/subjects/sh85042295 |
| title | Scientific computing with automatic result verification / |
| title_auth | Scientific computing with automatic result verification / |
| title_exact_search | Scientific computing with automatic result verification / |
| title_full | Scientific computing with automatic result verification / edited by E. Adams, U. Kulisch. |
| title_fullStr | Scientific computing with automatic result verification / edited by E. Adams, U. Kulisch. |
| title_full_unstemmed | Scientific computing with automatic result verification / edited by E. Adams, U. Kulisch. |
| title_short | Scientific computing with automatic result verification / |
| title_sort | scientific computing with automatic result verification |
| topic | Electronic data processing. http://id.loc.gov/authorities/subjects/sh85042288 Computer science Mathematics. http://id.loc.gov/authorities/subjects/sh85042295 Informatique Mathématiques. MATHEMATICS Applied. bisacsh Computer science Mathematics fast Electronic data processing fast Analyse numérique. ram |
| topic_facet | Electronic data processing. Computer science Mathematics. Informatique Mathématiques. MATHEMATICS Applied. Computer science Mathematics Electronic data processing Analyse numérique. |
| url | https://www.sciencedirect.com/science/bookseries/00765392/189 https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=296978 |
| work_keys_str_mv | AT adamsernst scientificcomputingwithautomaticresultverification AT kulischulrich scientificcomputingwithautomaticresultverification |