Cargando…
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.
| Clasificación: | Libro Electrónico |
|---|---|
| Otros Autores: | , |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Boston :
Academic Press,
�1993.
|
| Colección: | Mathematics in science and engineering ;
v. 189. |
| Temas: | |
| Acceso en línea: | Texto completo Texto completo Texto completo |
MARC
| LEADER | 00000cam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | SCIDIR_ocn316566653 | ||
| 003 | OCoLC | ||
| 005 | 20231117015237.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 | ||
| 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 | 0 | 4 | |a 519.4/0285 |2 22 |
| 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. | |
| 650 | 0 | |a Computer science |x Mathematics. | |
| 650 | 6 | |a Informatique |x Math�ematiques. |0 (CaQQLa)201-0123277 | |
| 650 | 7 | |a MATHEMATICS |x Applied. |2 bisacsh | |
| 650 | 7 | |a Computer science |x Mathematics |2 fast |0 (OCoLC)fst00872460 | |
| 650 | 7 | |a Electronic data processing |2 fast |0 (OCoLC)fst00906956 | |
| 650 | 7 | |a Analyse num�erique. |2 ram | |
| 653 | 0 | |a Numerical analysis |a Use of |a Computers | |
| 700 | 1 | |a Adams, Ernst. | |
| 700 | 1 | |a Kulisch, Ulrich. | |
| 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. | |
| 856 | 4 | 0 | |u https://sciencedirect.uam.elogim.com/science/book/9780120442102 |z Texto completo |
| 856 | 4 | 0 | |u https://sciencedirect.uam.elogim.com/science/publication?issn=00765392&volume=189 |z Texto completo |
| 856 | 4 | 0 | |u https://sciencedirect.uam.elogim.com/science/bookseries/00765392/189 |z Texto completo |