大葉大學圖書館 |

Scientific computing with automatic result verification[electronic resource] /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
杜威分類號:	519.4/0285
書名/作者:	Scientific computing with automatic result verification/ edited by E. Adams, U. Kulisch.
其他作者:	Adams, Ernst.
出版者:	Boston : : Academic Press,, c1993.
面頁冊數:	1 online resource (x, 612 p.)
標題:	Electronic data processing.
標題:	Computer science - Mathematics.
標題:	MATHEMATICS - Applied.
ISBN:	9780120442102 (electronic bk.)
ISBN:	0120442108 (electronic bk.)
ISBN:	9780080958750 (electronic bk.)
ISBN:	0080958753 (electronic bk.)
書目註:	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.
電子資源:	http://www.sciencedirect.com/science/book/9780120442102

Scientific computing with automatic result verification[electronic resource] /
Scientific computing with automatic result verification[electronic resource] /edited by E. Adams, U. Kulisch. - Boston :Academic Press,c1993. - 1 online resource (x, 612 p.) - Mathematics in science and engineering ;v. 189. - Mathematics in science and engineering ;v. 63..

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.

ISBN: 9780120442102 (electronic bk.)Subjects--Topical Terms:

195905
Electronic data processing.
Subjects--Index Terms:

Numerical analysisIndex Terms--Genre/Form:

336502
Electronic books.

LC Class. No.: QA76 / .S368 1993eb

Dewey Class. No.: 519.4/0285

Scientific computing with automatic result verification[electronic resource] /
LDR:02405cam 2200385Ia 4500 001 370736
005 20120813090123.0
006 m d
007 cr cnu---unuuu
008 121228s1993 mau ob 001 0 eng d
019 $a 297391396
020 $a 9780120442102 (electronic bk.)
020 $a 0120442108 (electronic bk.)
020 $a 9780080958750 (electronic bk.)
020 $a 0080958753 (electronic bk.)
029 1 $a AU@ $b 000048129565
029 1 $a DEBBG $b BV039834309
035 $a ocn316566653
040 $a OPELS $b eng $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
049 $a NTYA
050 4 $a QA76 $b .S368 1993eb
072 7 $a MAT $x 003000 $2 bisacsh
082 0 4 $a 519.4/0285 $2 22
245 0 0 $a Scientific computing with automatic result verification $h [electronic resource] / $c edited by E. Adams, U. Kulisch.
260 $a Boston : $b Academic Press, $c c1993.
300 $a 1 online resource (x, 612 p.)
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 $a Description based on print version record.
650 0 $a Electronic data processing. $3 195905
650 0 $a Computer science $x Mathematics. $3 382369
650 7 $a MATHEMATICS $x Applied. $2 bisacsh $3 445830
653 0 $a Numerical analysis $a Use of $a Computers
655 4 $a Electronic books. $2 local $3 336502
700 1 $a Adams, Ernst. $3 486662
700 1 $a Kulisch, Ulrich. $3 486663
776 0 8 $i Print version: $t Scientific computing with automatic result verification. $d Boston : Academic Press, c1993 $z 9780120442102 $w (DLC) 92247371 $w (OCoLC)26917369
830 0 $a Mathematics in science and engineering ; $v v. 63. $3 443147
856 4 0 $3 ScienceDirect $u http://www.sciencedirect.com/science/book/9780120442102
938 $a EBL - Ebook Library $b EBLB $n EBL452905
938 $a ebrary $b EBRY $n ebr10329581