LEADER 03117nam 2200709Ia 450 001 9910818255303321 005 20240418093258.0 010 $a1-282-19584-0 010 $a9786612195846 010 $a3-11-020319-7 024 7 $a10.1515/9783110203196 035 $a(CKB)1000000000691462 035 $a(EBL)364664 035 $a(OCoLC)316327616 035 $a(SSID)ssj0000127780 035 $a(PQKBManifestationID)11141913 035 $a(PQKBTitleCode)TC0000127780 035 $a(PQKBWorkID)10062565 035 $a(PQKB)11377029 035 $a(MiAaPQ)EBC364664 035 $a(DE-B1597)33450 035 $a(DE-B1597)9783110203196 035 $a(Au-PeEL)EBL364664 035 $a(CaPaEBR)ebr10256630 035 $a(CaONFJC)MIL219584 035 $a(EXLCZ)991000000000691462 100 $a20080507d2008 uy 0 101 0 $aeng 135 $aur||||||||||| 181 $ctxt 182 $cc 183 $acr 200 10$aComputer arithmetic and validity $etheory, implementation, and applications /$fUlrich Kulisch 205 $a1st ed. 210 $aBerlin ;$aNew York $cWalter De Gruyter$dc2008 215 $a1 online resource (428 p.) 225 1 $aDe Gruyter studies in mathematics ;$v33 300 $aDescription based upon print version of record. 311 $a3-11-020318-9 327 $tFrontmatter -- $tContents -- $tIntroduction -- $tChapter 1 First Concepts -- $tChapter 2 Ringoids and Vectoids -- $tChapter 3 Definition of Computer Arithmetic -- $tChapter 4 Interval Arithmetic -- $tChapter 5 Floating-Point Arithmetic -- $tChapter 6 Implementation of Floating-Point Arithmetic on a Computer -- $tChapter 7 Hardware Support for Interval Arithmetic -- $tChapter 8 Scalar Products and Complete Arithmetic -- $tChapter 9 Sample Applications -- $tBackmatter 330 $aThe present book deals with the theory of computer arithmetic, its implementation on digital computers and applications in applied mathematics to compute highly accurate and mathematically verified results. The aim is to improve the accuracy of numerical computing (by implementing advanced computer arithmetic) and to control the quality of the computed results (validity). The book can be useful as high-level undergraduate textbook but also as reference work for scientists researching computer arithmetic and applied mathematics. 410 0$aDe Gruyter studies in mathematics ;$v33. 606 $aComputer arithmetic 606 $aComputer arithmetic and logic units 606 $aFloating-point arithmetic 610 $aComputer Arithmetic. 610 $aFloating Point Arithmetic. 610 $aInterval Arithmetic. 610 $aVerified Computing. 615 0$aComputer arithmetic. 615 0$aComputer arithmetic and logic units. 615 0$aFloating-point arithmetic. 676 $a004.0151 22 686 $aSK 900$2rvk 700 $aKulisch$b Ulrich$01631140 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910818255303321 996 $aComputer arithmetic and validity$93969809 997 $aUNINA