Scientific computing with automatic result verification:
Gespeichert in:
| Format: | Elektronisch E-Book |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Boston
Academic Press
©1993
|
| Schriftenreihe: | Mathematics in science and engineering
v. 189 |
| Schlagworte: | |
| Online-Zugang: | FAW01 FAW02 Volltext |
| Beschreibung: | 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 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 |
| Beschreibung: | 1 Online-Ressource (x, 612 pages) |
| ISBN: | 0080958753 0120442108 1282290169 9780080958750 9780120442102 9781282290167 |
Internformat
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV043045238 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 151123s1993 |||| o||u| ||||||eng d | ||
| 020 | |a 0080958753 |c electronic bk. |9 0-08-095875-3 | ||
| 020 | |a 0120442108 |c electronic bk. |9 0-12-044210-8 | ||
| 020 | |a 1282290169 |9 1-282-29016-9 | ||
| 020 | |a 9780080958750 |c electronic bk. |9 978-0-08-095875-0 | ||
| 020 | |a 9780120442102 |c electronic bk. |9 978-0-12-044210-2 | ||
| 020 | |a 9781282290167 |9 978-1-282-29016-7 | ||
| 035 | |a (OCoLC)316566653 | ||
| 035 | |a (DE-599)BVBBV043045238 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-1046 |a DE-1047 | ||
| 082 | 0 | |a 519.4/0285 |2 22 | |
| 245 | 1 | 0 | |a Scientific computing with automatic result verification |c edited by E. Adams, U. Kulisch |
| 264 | 1 | |a Boston |b Academic Press |c ©1993 | |
| 300 | |a 1 Online-Ressource (x, 612 pages) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Mathematics in science and engineering |v v. 189 | |
| 500 | |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 | ||
| 500 | |a Includes bibliographical references and index | ||
| 500 | |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 | ||
| 500 | |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 | ||
| 650 | 4 | |a environnement logiciel | |
| 650 | 4 | |a vérification automatique | |
| 650 | 4 | |a algorithme numérique | |
| 650 | 4 | |a langage scientifique | |
| 650 | 4 | |a science ingénieur | |
| 650 | 4 | |a calcul scientifique | |
| 650 | 7 | |a MATHEMATICS / Applied |2 bisacsh | |
| 650 | 7 | |a Computer science / Mathematics |2 fast | |
| 650 | 7 | |a Electronic data processing |2 fast | |
| 650 | 7 | |a Analyse numérique |2 ram | |
| 650 | 4 | |a Datenverarbeitung | |
| 650 | 4 | |a Informatik | |
| 650 | 4 | |a Mathematik | |
| 650 | 4 | |a Electronic data processing | |
| 650 | 4 | |a Computer science |x Mathematics | |
| 650 | 0 | 7 | |a Datenverarbeitung |0 (DE-588)4011152-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Verifikation |0 (DE-588)4135577-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Wissenschaftliches Rechnen |0 (DE-588)4338507-2 |2 gnd |9 rswk-swf |
| 655 | 7 | |8 1\p |0 (DE-588)4143413-4 |a Aufsatzsammlung |2 gnd-content | |
| 689 | 0 | 0 | |a Wissenschaftliches Rechnen |0 (DE-588)4338507-2 |D s |
| 689 | 0 | 1 | |a Verifikation |0 (DE-588)4135577-5 |D s |
| 689 | 0 | |8 2\p |5 DE-604 | |
| 689 | 1 | 0 | |a Datenverarbeitung |0 (DE-588)4011152-0 |D s |
| 689 | 1 | |8 3\p |5 DE-604 | |
| 700 | 1 | |a Adams, Ernst |e Sonstige |4 oth | |
| 700 | 1 | |a Kulisch, Ulrich |e Sonstige |4 oth | |
| 856 | 4 | 0 | |u http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=296978 |x Aggregator |3 Volltext |
| 912 | |a ZDB-4-EBA | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-028469776 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 2\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 3\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 966 | e | |u http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=296978 |l FAW01 |p ZDB-4-EBA |q FAW_PDA_EBA |x Aggregator |3 Volltext | |
| 966 | e | |u http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=296978 |l FAW02 |p ZDB-4-EBA |q FAW_PDA_EBA |x Aggregator |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1804175411926532096 |
|---|---|
| any_adam_object | |
| building | Verbundindex |
| bvnumber | BV043045238 |
| collection | ZDB-4-EBA |
| ctrlnum | (OCoLC)316566653 (DE-599)BVBBV043045238 |
| 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>04191nmm a2200769zcb4500</leader><controlfield tag="001">BV043045238</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">151123s1993 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0080958753</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">0-08-095875-3</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0120442108</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">0-12-044210-8</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1282290169</subfield><subfield code="9">1-282-29016-9</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780080958750</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">978-0-08-095875-0</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780120442102</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">978-0-12-044210-2</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781282290167</subfield><subfield code="9">978-1-282-29016-7</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)316566653</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV043045238</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-1046</subfield><subfield code="a">DE-1047</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">519.4/0285</subfield><subfield code="2">22</subfield></datafield><datafield tag="245" ind1="1" 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="264" ind1=" " ind2="1"><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-Ressource (x, 612 pages)</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="490" ind1="0" ind2=" "><subfield code="a">Mathematics in science and engineering</subfield><subfield code="v">v. 189</subfield></datafield><datafield tag="500" 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></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references and index</subfield></datafield><datafield tag="500" ind1=" " 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="500" 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="650" ind1=" " ind2="4"><subfield code="a">environnement logiciel</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">vérification automatique</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">algorithme numérique</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">langage scientifique</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">science ingénieur</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">calcul scientifique</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">MATHEMATICS / Applied</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Computer science / 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="650" ind1=" " ind2="4"><subfield code="a">Datenverarbeitung</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="650" ind1=" " ind2="4"><subfield code="a">Electronic data processing</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield><subfield code="x">Mathematics</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Datenverarbeitung</subfield><subfield code="0">(DE-588)4011152-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Verifikation</subfield><subfield code="0">(DE-588)4135577-5</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="655" ind1=" " ind2="7"><subfield code="8">1\p</subfield><subfield code="0">(DE-588)4143413-4</subfield><subfield code="a">Aufsatzsammlung</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="1"><subfield code="a">Verifikation</subfield><subfield code="0">(DE-588)4135577-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="8">2\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Datenverarbeitung</subfield><subfield code="0">(DE-588)4011152-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="8">3\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Adams, Ernst</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Kulisch, Ulrich</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=296978</subfield><subfield code="x">Aggregator</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-4-EBA</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-028469776</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">2\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">3\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=296978</subfield><subfield code="l">FAW01</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FAW_PDA_EBA</subfield><subfield code="x">Aggregator</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=296978</subfield><subfield code="l">FAW02</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FAW_PDA_EBA</subfield><subfield code="x">Aggregator</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| genre | 1\p (DE-588)4143413-4 Aufsatzsammlung gnd-content |
| genre_facet | Aufsatzsammlung |
| id | DE-604.BV043045238 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T07:15:52Z |
| institution | BVB |
| isbn | 0080958753 0120442108 1282290169 9780080958750 9780120442102 9781282290167 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-028469776 |
| oclc_num | 316566653 |
| open_access_boolean | |
| owner | DE-1046 DE-1047 |
| owner_facet | DE-1046 DE-1047 |
| physical | 1 Online-Ressource (x, 612 pages) |
| psigel | ZDB-4-EBA ZDB-4-EBA FAW_PDA_EBA |
| publishDate | 1993 |
| publishDateSearch | 1993 |
| publishDateSort | 1993 |
| publisher | Academic Press |
| record_format | marc |
| 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-Ressource (x, 612 pages) txt rdacontent c rdamedia cr rdacarrier Mathematics in science and engineering v. 189 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 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 environnement logiciel vérification automatique algorithme numérique langage scientifique science ingénieur calcul scientifique MATHEMATICS / Applied bisacsh Computer science / Mathematics fast Electronic data processing fast Analyse numérique ram Datenverarbeitung Informatik Mathematik Electronic data processing Computer science Mathematics Datenverarbeitung (DE-588)4011152-0 gnd rswk-swf Verifikation (DE-588)4135577-5 gnd rswk-swf Wissenschaftliches Rechnen (DE-588)4338507-2 gnd rswk-swf 1\p (DE-588)4143413-4 Aufsatzsammlung gnd-content Wissenschaftliches Rechnen (DE-588)4338507-2 s Verifikation (DE-588)4135577-5 s 2\p DE-604 Datenverarbeitung (DE-588)4011152-0 s 3\p DE-604 Adams, Ernst Sonstige oth Kulisch, Ulrich Sonstige oth http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=296978 Aggregator Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 2\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 3\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Scientific computing with automatic result verification environnement logiciel vérification automatique algorithme numérique langage scientifique science ingénieur calcul scientifique MATHEMATICS / Applied bisacsh Computer science / Mathematics fast Electronic data processing fast Analyse numérique ram Datenverarbeitung Informatik Mathematik Electronic data processing Computer science Mathematics Datenverarbeitung (DE-588)4011152-0 gnd Verifikation (DE-588)4135577-5 gnd Wissenschaftliches Rechnen (DE-588)4338507-2 gnd |
| subject_GND | (DE-588)4011152-0 (DE-588)4135577-5 (DE-588)4338507-2 (DE-588)4143413-4 |
| 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 | environnement logiciel vérification automatique algorithme numérique langage scientifique science ingénieur calcul scientifique MATHEMATICS / Applied bisacsh Computer science / Mathematics fast Electronic data processing fast Analyse numérique ram Datenverarbeitung Informatik Mathematik Electronic data processing Computer science Mathematics Datenverarbeitung (DE-588)4011152-0 gnd Verifikation (DE-588)4135577-5 gnd Wissenschaftliches Rechnen (DE-588)4338507-2 gnd |
| topic_facet | environnement logiciel vérification automatique algorithme numérique langage scientifique science ingénieur calcul scientifique MATHEMATICS / Applied Computer science / Mathematics Electronic data processing Analyse numérique Datenverarbeitung Informatik Mathematik Computer science Mathematics Verifikation Wissenschaftliches Rechnen Aufsatzsammlung |
| url | http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=296978 |
| work_keys_str_mv | AT adamsernst scientificcomputingwithautomaticresultverification AT kulischulrich scientificcomputingwithautomaticresultverification |