04211nam 2200709 a 450 991045284460332120200520144314.03-11-030179-210.1515/9783110301793(CKB)2550000001096894(EBL)1130308(OCoLC)851970604(SSID)ssj0000916704(PQKBManifestationID)11466131(PQKBTitleCode)TC0000916704(PQKBWorkID)10877488(PQKB)11593715(MiAaPQ)EBC1130308(DE-B1597)179444(OCoLC)953308478(OCoLC)990725657(DE-B1597)9783110301793(PPN)175495246(Au-PeEL)EBL1130308(CaPaEBR)ebr10728884(CaONFJC)MIL503428(EXLCZ)99255000000109689420130419d2013 uy 0engur|n|---|||||txtccrComputer arithmetic and validity[electronic resource] theory, implementation, and applications /Ulrich Kulisch2nd ed.Berlin De Gruyter20131 online resource (434 p.)De Gruyter Studies in Mathematics ;33De Gruyter studies in mathematics,0179-0986 ;33Description based upon print version of record.3-11-030173-3 1-299-72177-X Includes bibliographical references and index. Frontmatter -- Foreword to the second edition -- Preface -- Contents -- Introduction -- Part I. Theory of computer arithmetic -- Chapter 1. First concepts -- Chapter 2. Ringoids and vectoids -- Chapter 3. Definition of computer arithmetic -- Chapter 4. Interval arithmetic -- Part II. Implementation of arithmetic on computers -- Chapter 5. Floating-point arithmetic -- Chapter 6. Implementation of floating-point arithmetic on a computer -- Chapter 7. Hardware support for interval arithmetic -- Chapter 8. Scalar products and complete arithmetic -- Part III. Principles of verified computing -- Chapter 9. Sample applications -- Appendix A. Frequently used symbols -- Appendix B. On homomorphism -- Bibliography -- List of figures -- List of tables -- IndexThis is the revised and extended second edition of the successful basic book on computer arithmetic. It is consistent with the newest recent standard developments in the field. The book shows how the arithmetic and mathematical capability of the digital computer can be enhanced in a quite natural way. The work is motivated by the desire and the need to improve the accuracy of numerical computing and to control the quality of the computed results (validity). The accuracy requirements for the elementary floating-point operations are extended to the customary product spaces of computations including interval spaces. The mathematical properties of these models are extracted into an axiomatic approach which leads to a general theory of computer arithmetic. Detailed methods and circuits for the implementation of this advanced computer arithmetic on digital computers are developed in part two of the book. Part three then illustrates by a number of sample applications how this extended computer arithmetic can be used to compute highly accurate and mathematically verified results. The book can be used as a high-level undergraduate textbook but also as reference work for research in computer arithmetic and applied mathematics. De Gruyter Studies in MathematicsComputer arithmeticComputer arithmetic and logic unitsFloating-point arithmeticElectronic books.Computer arithmetic.Computer arithmetic and logic units.Floating-point arithmetic.005.101/5113Kulisch Ulrich1040684MiAaPQMiAaPQMiAaPQBOOK9910452844603321Computer arithmetic and validity2463748UNINA03750nas1 2200469 i 450 CFI008188320231121125434.0P 00122990P IT90-3128 20080808b19841995||||0itac50 baitaitazu||||||||z01i xxxe z01nConoscenzerivista annuale della Soprintendenza archeologica e per i beni ambientali architettonici artistici e storici del Molise1 (1984)-8 (1995)Campobasso[s. n.]1984-1995v.ill.24 cmIn testa al front.: Ministero per i beni culturali e ambientali.001MO100098892001 Conoscenzerivista semestrale della Direzione regionale per i beni culturali e paesaggistici del Molise001PUV11191612001 Molise 1860i giorni dell'unitàcatalogo della mostra storico-documentariaa cura di Renata De Benedittis3Molise Beni artistici PeriodiciFIRRMLC409473I709.4571921Italia : Soprintendenza archeologica e per i beni ambientali, architettonici, artistici e storici del MoliseCFIV015552070295645Soprintendenza archeologica e per i beni ambientali, architettonici, artistici e storici del MoliseCFIV017275Italia : Soprintendenza archeologica e per i beni ambientali, architettonici, artistici e storici del MoliseItalia : Ministero per i beni culturali e ambientali : Soprintendenza archeologica e per i beni ambientali, architettonici, artistici e storici del MoliseCFIV052082Italia : Soprintendenza archeologica e per i beni ambientali, architettonici, artistici e storici del MoliseITIT-0120080808IT-RM0281 IT-RM0418 IT-RM0285 IT-RM0251 IT-FR0084 IT-RM0254 IT-FR0017 BIBLIOTECA VALLICELLIANARM0281 1(1984)-6(1990)NBIBLIOTECA ACCADEMIA NAZ. DEI LINCEI E CORSINIANARM0418 Biblioteca Dell'Istituto Nazionale Di Studi RomaniRM0285 Biblioteca Della Soprintendenza Archivistica Per Il LazioRM0251 NBiblioteca Del Monumento Nazionale Di MontecassinoFR0084 (1984); (1994); lac.NBiblioteca e Centro Studi Umberto Zanotti Bianco dell’Associazione Italia NostraRM0254 Biblioteca umanistica Giorgio ApreaFR0017 CFI0081883Biblioteca umanistica Giorgio ApreaA.1, nn.1-2 (2004) 52PER.X. 45 52VP 0000205295 VP Descr.Fascicoli:A.1, nn.1-2 (2004)C 2006040520121204Vol. 8 (1995) 52PER.X. 45 52VP 0000205285 VP Descr.Fascicoli:Vol. 8 (1995)C 2004081320121204Vol. 7 (1994) 52PER.X. 45 52VP 0000205275 VP Descr.Fascicoli:Vol. 7 (1994)C 2004081320121204Vol. 6 (1990) 52PER.X. 45 52VP 0000205265 VP Descr.Fascicoli:Vol. 6 (1990)C 2004081320121204Vol. 5 (1989) 52PER.X. 45 52VP 0000205255 VP Descr.Fascicoli:Vol. 5 (1989)C 2004081320121204Vol. 4 (1988) 52PER.X. 45 52VP 0000205245 VP Descr.Fascicoli:Vol. 4 (1988)C 2004081320121204Vol. 3 (1986) 52PER.X. 45 52VP 0000100405 VP Inventario:DFLS Descr.Fascicoli:Vol. 3 (1986)C 20040813201212041 08 10 12 13 24 25 27 51 52Conoscenze3604793UNICAS