Handbook of floating-point arithmetic

This handbook aims to provide a complete overview of modern floating-point arithmetic, including a detailed treatment of the current (IEEE-754) and next (preliminarily called IEEE-754R) standards for floating-point arithmetic. Presented throughout are algorithms for implementing floating-point arithmetic as well as algorithms that use floating-point arithmetic. So that the techniques presented can directly be put into practice in actual coding or design, they areillustrated, whenever possible, by a corresponding program in C. First comprehensive treatment of floating-point arithmetic Provides a complete overview ofa topic that is widely used to implement real-number arithmetic on modern computers, yet is far from being fully exploitet to its full potential Techniquesare illustrated, whenever possible, by a corresponding program in C, allowingthe reader to put them directly into practice INDICE: Preface.- Part I. Definitions, Standards. Introduction.- Formats.-Part II. Clever Use of FP Arithmetic. Small Algorithms and Elementary Properties.- FMA: Fused Multiply-Add.- Summation Algorithms, Polynomial Evaluation, Complex Numbers.- Part III. Implementing FP Arithmetic. Hardwired Implementation.- Software Implementations on Integer Processors.- Languages, Compilers, Tests.- Part IV. Link with Elementary Functions. Correct Rounding.- Polynomial Approximations with Constraints.- Part V. Extensions. Survey of Existing Formalisms and Tools for Certifying Floating-Point Algorithms.- Verification in Scientific Computing.- Extending the Precision.- Conclusion.- Index.

• ISBN: 978-0-8176-4704-9
• Editorial: Birkhaüser
• Encuadernacion: Cartoné
• Páginas: 600
• Fecha Publicación: 01/08/2009
• Nº Volúmenes: 1
• Idioma: Inglés