Jean-Michel穆勒 基本功能。算法和实现。第三版。 (英语) 兹比尔1357.65029 纽约州纽约市:Birkhäuser/Springer(ISBN 978-1-4899-7981-0/hbk;978-1-489 9-7983-4/电子书)。xxv,283页。(2016). 作者摘要:本教材介绍了理解、构建和实现计算初等函数(例如对数、指数和三角函数)的算法所需的概念和工具。包括面向硬件和面向软件的算法,以及与精确浮点实现相关的问题。第三版已经更新和扩展,纳入了该领域的最新进展、新的基本函数算法和函数软件。在第一章简要介绍了计算机算术的一些基本概念,如浮点运算和冗余数字系统之后,本文分为三个主要部分。第一部分考虑使用基于多项式或有理逼近的算法和基于表格的方法计算初等函数;本节的最后一章介绍了多决策算法的基本原理。第二部分专门介绍“移位和加法”算法(仅使用加法和移位的面向硬件的算法)。第三部分探讨了与精度相关的问题,包括缩小范围、保持单调性和正确舍入,以及一些实现示例。本文提供了各种软件包(包括Maple、Sollya和Gappa)的大量命令行和完整程序示例。本版新增了对IEEE-754-2008浮点算法标准的深入概述;关于使用双字和三字数字的部分;介绍设计精确功能软件的新工具;以及关于Toom-Cook系列乘法算法的一节。本书中介绍的技术对初等函数库或电路的实现者以及数值应用程序的程序员都很感兴趣。此外,科学计算、数值分析、软件工程和计算机工程领域的研究生和高级本科生、专业人员和研究人员将发现这是一个有用的参考和资源。有关早期版本,请参见[Zbl 1089.65016号;Zbl 0892.65005号].审核人:尤里·法尔科夫(莫斯科) 引用于2文件 MSC公司: 65D20个 特殊函数和常数的计算,表的构造 26-01 与实际函数相关的介绍性说明(教科书、教程文件等) 26A09号 基本功能 65-01年 与数值分析相关的介绍性说明(教科书、教程论文等) 33-04 与特殊功能有关的问题的软件、源代码等 65T40型 三角逼近和插值的数值方法 关键词:基本函数;特殊功能;计算机算术;多项式或有理逼近;软件包;教材;对数;指数;三角函数;浮点运算 引文:Zbl 1089.65016号;Zbl 0892.65005号 软件:PolyLib公司;算法722;算法524;FloPoCo公司;索尔利亚;CR-LIBM公司;MPFR公司;SPECFUN公司;CELEFUNT公司;通用管理程序;马查尔;SLEEF公司;枫树;ARPREC公司;加帕 PDF格式BibTeX公司 XML格式引用 \textit{J.-M.Muller},基本函数。算法和实现。第3版。纽约州纽约市:Birkhäuser/Springer(2016年;Zbl 1357.65029) 全文: 内政部