Cargando…

Computer arithmetic and validity : theory, implementation, and applications /

The 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...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Kulisch, Ulrich
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin ; New York : Walter de Gruyter, ©2008.
Colección:De Gruyter studies in mathematics ; 33.
Temas:
Acceso en línea:Texto completo

MARC

LEADER 00000cam a2200000 a 4500
001 EBOOKCENTRAL_ocn316327616
003 OCoLC
005 20240329122006.0
006 m o d
007 cr mn|||||||||
008 090319s2008 gw a ob 001 0 eng d
040 |a OSU  |b eng  |e pn  |c OSU  |d OSU  |d CDX  |d OCLCQ  |d N$T  |d YDXCP  |d OCLCE  |d IDEBK  |d E7B  |d OCLCQ  |d EBLCP  |d OCLCQ  |d OCLCF  |d DEBSZ  |d OCLCQ  |d MERUC  |d DEBBG  |d OCLCQ  |d AZK  |d CNNOR  |d MOR  |d OCLCO  |d PIFAG  |d ZCU  |d OTZ  |d OCLCQ  |d DEGRU  |d U3W  |d BRL  |d STF  |d WRM  |d OCLCQ  |d NRAMU  |d ICG  |d INT  |d REC  |d VT2  |d OCLCO  |d AU@  |d OCLCQ  |d WYU  |d OCLCO  |d A6Q  |d OCLCQ  |d DKC  |d OCLCQ  |d UKCRE  |d VLY  |d UWK  |d SFB  |d OCLCO  |d OCLCQ  |d UKAHL  |d OCLCQ  |d OCLCO  |d OCLCL 
015 |a 08,A33,0635  |2 dnb 
015 |a 08,N25,1095  |2 dnb 
016 7 |a 988967162  |2 DE-101 
019 |a 301983337  |a 437233351  |a 646770390  |a 654251078  |a 816313143  |a 961542879  |a 962595968  |a 988406118  |a 991911922  |a 994954287  |a 1037389569  |a 1037797274  |a 1038637342  |a 1045491808  |a 1055368452  |a 1058102024  |a 1058126979  |a 1063952684  |a 1076325191  |a 1081209797  |a 1153539121  |a 1156374129  |a 1162201190  |a 1181901539  |a 1228531684  |a 1290089573 
020 |a 9783110203189 
020 |a 3110203189 
020 |a 9783110203196  |q (ebook) 
020 |a 3110203197  |q (ebook) 
020 |a 1282195840 
020 |a 9781282195844 
020 |a 9786612195846 
020 |a 6612195843 
024 7 |a 10.1515/9783110203196  |2 doi 
029 1 |a AU@  |b 000051576159 
029 1 |a CDX  |b 10593194 
029 1 |a DEBBG  |b BV042346951 
029 1 |a DEBBG  |b BV043152810 
029 1 |a DEBBG  |b BV044130798 
029 1 |a DEBSZ  |b 396201075 
029 1 |a DEBSZ  |b 422066125 
029 1 |a NZ1  |b 13335032 
035 |a (OCoLC)316327616  |z (OCoLC)301983337  |z (OCoLC)437233351  |z (OCoLC)646770390  |z (OCoLC)654251078  |z (OCoLC)816313143  |z (OCoLC)961542879  |z (OCoLC)962595968  |z (OCoLC)988406118  |z (OCoLC)991911922  |z (OCoLC)994954287  |z (OCoLC)1037389569  |z (OCoLC)1037797274  |z (OCoLC)1038637342  |z (OCoLC)1045491808  |z (OCoLC)1055368452  |z (OCoLC)1058102024  |z (OCoLC)1058126979  |z (OCoLC)1063952684  |z (OCoLC)1076325191  |z (OCoLC)1081209797  |z (OCoLC)1153539121  |z (OCoLC)1156374129  |z (OCoLC)1162201190  |z (OCoLC)1181901539  |z (OCoLC)1228531684  |z (OCoLC)1290089573 
050 4 |a QA76.9.C62  |b K85 2008 
072 7 |a COM  |x 052000  |2 bisacsh 
072 7 |a COM  |x 037000  |2 bisacsh 
072 7 |a COM  |x 013000  |2 bisacsh 
072 7 |a COM  |x 032000  |2 bisacsh 
072 7 |a COM  |x 018000  |2 bisacsh 
072 7 |a COM  |x 014000  |2 bisacsh 
072 7 |a COM  |x 067000  |2 bisacsh 
082 0 4 |a 004.0151 22  |2 22 
084 |a SK 900  |2 rvk 
084 |a ST 125  |2 rvk 
084 |a 510  |2 sdnb 
049 |a UAMI 
100 1 |a Kulisch, Ulrich. 
245 1 0 |a Computer arithmetic and validity :  |b theory, implementation, and applications /  |c Ulrich Kulisch. 
260 |a Berlin ;  |a New York :  |b Walter de Gruyter,  |c ©2008. 
300 |a 1 online resource (xvii, 409 pages) :  |b illustrations 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
347 |a data file 
490 1 |a De Gruyter studies in mathematics ;  |v 33 
504 |a Includes bibliographical references (pages 359-394) and index. 
505 0 |a Theory of computer arithmetic -- First concepts -- Ringoids and vectoids -- Definition of computer arithmetic -- Interval arithmetic -- Implementation of arithmetic on computers -- Floating-point arithmetic -- Implementation of floating-point arithmetic on a computer -- Hardware support for interval arithmetic -- Scalar products and complete arithmetic -- Principles of verified computing -- Sample applications. 
588 0 |a Print version record. 
520 |a The 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. 
546 |a English. 
590 |a ProQuest Ebook Central  |b Ebook Central Academic Complete 
650 0 |a Computer arithmetic. 
650 0 |a Computer arithmetic and logic units. 
650 0 |a Floating-point arithmetic. 
650 6 |a Arithmétique interne des ordinateurs. 
650 6 |a Unités arithmétiques et logiques. 
650 6 |a Arithmétique en virgule flottante. 
650 7 |a COMPUTERS  |x Reference.  |2 bisacsh 
650 7 |a COMPUTERS  |x Machine Theory.  |2 bisacsh 
650 7 |a COMPUTERS  |x Computer Literacy.  |2 bisacsh 
650 7 |a COMPUTERS  |x Information Technology.  |2 bisacsh 
650 7 |a COMPUTERS  |x Data Processing.  |2 bisacsh 
650 7 |a COMPUTERS  |x Computer Science.  |2 bisacsh 
650 7 |a COMPUTERS  |x Hardware  |x General.  |2 bisacsh 
650 7 |a Computer arithmetic  |2 fast 
650 7 |a Computer arithmetic and logic units  |2 fast 
650 7 |a Floating-point arithmetic  |2 fast 
650 7 |a Richtigkeit von Ergebnissen  |2 gnd 
650 7 |a Computerarithmetik  |2 gnd 
650 7 |a Intervallalgebra  |2 gnd 
650 7 |a Gleitkommarechnung  |2 gnd 
650 7 |a Numerische Mathematik  |2 gnd 
653 |a Computer Arithmetic. 
653 |a Floating Point Arithmetic. 
653 |a Interval Arithmetic. 
653 |a Verified Computing. 
758 |i has work:  |a Computer arithmetic and validity (Text)  |1 https://id.oclc.org/worldcat/entity/E39PCFP3GWFwmHv97BTQDpYdcP  |4 https://id.oclc.org/worldcat/ontology/hasWork 
776 1 |a Kulisch, Ulrich.  |t Computer arithmetic and validity.  |d Berlin ; New York : Walter De Gruyter, ©2008  |z 3110203189  |w (OCoLC)227201749 
830 0 |a De Gruyter studies in mathematics ;  |v 33. 
856 4 0 |u https://ebookcentral.uam.elogim.com/lib/uam-ebooks/detail.action?docID=364664  |z Texto completo 
938 |a Askews and Holts Library Services  |b ASKH  |n AH25307884 
938 |a Coutts Information Services  |b COUT  |n 10593194 
938 |a De Gruyter  |b DEGR  |n 9783110203196 
938 |a ProQuest Ebook Central  |b EBLB  |n EBL364664 
938 |a ebrary  |b EBRY  |n ebr10256630 
938 |a EBSCOhost  |b EBSC  |n 247537 
938 |a ProQuest MyiLibrary Digital eBook Collection  |b IDEB  |n 219584 
938 |a YBP Library Services  |b YANK  |n 2896722 
994 |a 92  |b IZTAP