RLIBM-32：32位浮点表示的高性能正确舍入数学库
摘要：为32位浮点数和posit类型开发正确舍入的数学库提出了一套技术。它增强了我们的RLibm方法，将生成正确舍入库的问题作为在线性编程问题的情况下针对16位类型进行扩展至32位类型。具体而言，本文提出了新的算法来（1）通过反例引导多项式生成来生成可以产生所有输入正确舍入输出的多项式，（2）通过基于比特模式的定义域分割生成高效的分段多项式，（3）确定在范围缩减涉及多个初等函数时产生正确结果的可用自由度。32位浮点类型的结果数学库比最先进的数学库更快，同时对所有输入产生正确的输出。我们还为32位posit开发了一套正确舍入的初等函数。
作者：Jay P. Lim and Santosh Nagarakatte
论文ID：2104.04043
分类：Mathematical Software
分类简称：cs.MS
提交时间：2021-04-12