Handbook of Floating-Point Arithmetic (2nd Ed.)
Handbook of Floating-Point Arithmetic (2nd Ed.)
复制标题
浮点算术手册（第二版）
DOI：
--
复制
发表时间：
2018
期刊：
影响因子：
--
通讯作者：
Serge Torres
中科院分区：
文献类型：
--
作者：
Jean;Nicolas Brunie;F. D. Dinechin;C. Jeannerod;Mioara Joldes;V. Lefèvre;G. Melquiond;N. Revol;Serge Torres
本手册是有效使用现代浮点运算的权威指南。浮点运算已经有了相当大的发展，从早期计算中经常不一致的浮点数系统到最近的IEEE 754-2008标准。大多数计算数学都依赖于浮点数，理解它们的各种实现将使读者能够开发专门针对标准技术特性的程序。浮点运算的算法在整本书中都有介绍，并尽可能通过示例程序来说明，这些程序展示了这些技术在实际编码和设计中是如何出现的。这本书本身将其核心主题分为四个部分：浮点运算的基本概念和历史;分析浮点算法和优化它们的方法; IEEE 754-2008在硬件和软件中的实现;以及对标准浮点系统的有用扩展，如区间算术、双字和三字算术、复数运算以及浮点算法的形式验证。这个新版本更新了一些章节，以反映编程语言和编译器的最新变化以及近年来GPU的新流行。这些修订还增加了关于融合乘加指令的内容，以及扩展浮点精度的方法。随着超级计算变得越来越普遍，更多的数值工程师将需要使用数字表示来考虑各种参数之间的权衡，例如速度，精度，能耗。《浮点算术手册》是为数值分析的学生和研究人员、数值算法的程序员、编译器设计人员和算术运算符的设计人员而设计的。
This handbook is a definitive guide to the effective use of modern floating-point arithmetic. Floating-point arithmetic has considerably evolved, from the frequently inconsistent floating-point number systems of early computing to the recent IEEE 754-2008 standard. Most of computational mathematics depends on floating-point numbers, and understanding their various implementations will allow readers to develop programs specifically tailored for the standard’s technical features. Algorithms for floating-point arithmetic are presented throughout the book and illustrated where possible by example programs which show how these techniques appear in actual coding and design.The volume itself breaks its core topic into four parts: the basic concepts and history of floating-point arithmetic; methods of analyzing floating-point algorithms and optimizing them; implementations of IEEE 754-2008 in hardware and software; and useful extensions to the standard floating-point system, such as interval arithmetic, double- and triple-word arithmetic, operations on complex numbers, and formal verification of floating-point algorithms. This new edition updates chapters to reflect recent changes to programming languages and compilers and the new prevalence of GPUs in recent years. The revisions also add material on fused multiply-add instruction, and methods of extending the floating-point precision. As supercomputing becomes more common, more numerical engineers will need to use number representation to account for trade-offs between various parameters, such as speed, accuracy, energy consumption. The Handbook of Floating-Point Arithmetic is designed for students and researchers in numerical analysis, programmers of numerical algorithms, compiler designers, and designers of arithmetic operators.