東華大學圖書館 |

Language: English

Help

回圖書館首頁

手機版館藏查詢

Back

Switch To: Labeled | MARC Mode | ISBD

Linked to FindBook

Google Book

Amazon

博客來

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.{me_controlnum}
other author:	Adams, Ernst.
Published:	Boston :Academic Press, : c1993.,
Description:	1 online resource (x, 612 p.)
[NT 15003449]:	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.
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.{me_controlnum} - 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:

520749
Electronic data processing.
Subjects--Index Terms:

Numerical analysisIndex Terms--Genre/Form:

542853
Electronic books.

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

Dewey Class. No.: 519.4/0285

Scientific computing with automatic result verification
LDR:02420cmm 2200385Ia 4500 001 1325765
005 20120813090123.0
006 m d
007 cr cnu---unuuu
008 130122s1993 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.{me_controlnum}
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 520749
650 0 $a Computer science $x Mathematics. $3 532725
650 7 $a MATHEMATICS $x Applied. $2 bisacsh $3 1458691
653 0 $a Numerical analysis $a Use of $a Computers
655 4 $a Electronic books. $2 lcsh $3 542853
700 1 $a Adams, Ernst. $3 1613837
700 1 $a Kulisch, Ulrich. $3 1613838
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 1374753
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