國立高雄大學圖資館 |

Language: English

Back

Scientific computing with automatic result verification

Record Type:	Electronic resources : Monograph/item
Title/Author:	Scientific computing with automatic result verificationedited by E. Adams, U. Kulisch.
other author:	Adams, Ernst.
Published:	Boston :Academic Press,c1993.
Description:	1 online resource (x, 612 p.)
Subject:	Electronic data processing.
Online resource:	http://www.sciencedirect.com/science/book/9780120442102
ISBN:	9780120442102 (electronic bk.)

Scientific computing with automatic result verification
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:

201945
Electronic data processing.
Subjects--Index Terms:

Numerical analysisIndex Terms--Genre/Form:

214472
Electronic books.

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

Dewey Class. No.: 519.4/0285

Scientific computing with automatic result verification
LDR:02403cmm 2200385Ia 4500 001 354427
005 20120813090123.0
006 m d
007 cr cnu---unuuu
008 130104s1993 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 $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 201945
650 0 $a Computer science $x Mathematics. $3 181991
650 7 $a MATHEMATICS $x Applied. $2 bisacsh $3 538454
653 0 $a Numerical analysis $a Use of $a Computers
655 4 $a Electronic books. $2 local. $3 214472
700 1 $a Adams, Ernst. $3 586575
700 1 $a Kulisch, Ulrich. $3 586576
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 536186
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