新生學校財團法人新生醫護管理專科學校圖書館 |

Scientific computing with automatic result verification

Record Type:	Electronic resources : Monograph/item
Title/Author:	Scientific computing with automatic result verification/ edited 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. 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.

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

86813
Electronic data processing.
Subjects--Index Terms:

Numerical analysisIndex Terms--Genre/Form:

96803
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 139737
005 20120813090123.0
006 m d
007 cr cnu---unuuu
008 160121s1993 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 : $c c1993. $b Academic Press,
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 86813
650 0 $a Computer science $x Mathematics. $3 97378
650 7 $a MATHEMATICS $x Applied. $2 bisacsh $3 257502
653 0 $a Numerical analysis $a Use of $a Computers
655 4 $a Electronic books. $2 local. $3 96803
700 1 $a Adams, Ernst. $3 257500
700 1 $a Kulisch, Ulrich. $3 257501
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. 189. $3 257499
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