FPTuner（FPTuner） swMATH ID: 21697 软件作者： 蒋维凡；Mark Baranowski；伊恩·布里格斯；阿列克谢·索洛维耶夫；戈帕拉克里什南（Ganesh Gopalakrishnan）；兹沃尼米尔·拉卡马利奇 描述： FPTuner是一个用于自动精确调整实值表达式的严格工具。FPTuner在给定的输入域上生成混合精度分配（单精度、双精度或四精度），该分配保证误差低于给定阈值。除了精度调整之外，FPTuner还允许用户以有助于优化代码的方式控制精度分配。作为两个示例，它允许用户控制在精度分配期间引入的最大打字数量。限制类型卡的数量有助于减少相关的开销。FPTuner允许用户分组（“gang”）表达式（通常是类似的表达式），并强制这些表达式的主运算符共享相同的精度分配。这样做会鼓励编译器进行矢量化。有关FPTuner的更多详细信息，请参阅我们的论文。本文件的其余部分将指导您完成FPTuner的安装。FPTuner更全面的参考手册位于reference.md。本参考手册详细描述了FPTuner的标志。这些标志包括基本标志（允许的错误阈值，可用的精度选择）和分配控制标志（固定类型卡、组表达式等的数量） 主页： https://github.com/showerlab/FPTuner 源代码： https://github.com/showerlab/FPTuner 相关软件： z3（零3）;github;d真实;算法145;MPFR公司;zfp公司;EnerJ公司;推力;CUBLAS公司;CUDA公司;黛西;RangeLab公司;PRECiSA公司;mctoolbox软件;伊奎德马思;HOL灯;监狱;Coq公司;古罗比 引用于： 4文件 全部的 前5名15位作者引用 1 阿萨勒阿杰 1 马克·巴拉诺夫斯基 1 多拉·本·哈利法 1 伊恩·布里格斯 1 蒋伟凡 1 康斯坦丁尼德斯，乔治A。 1 弗雷德里克·达尔奎斯特 1 詹姆斯·迪芬德。 1 戈帕拉克里什南（Gopalakrishnan）、加内什·拉利塔（Ganesh Lalitha） 1 马蒂厄·马特尔 1 哈希塔·梅农 1 丹尼尔·奥塞·库福尔 1 茨沃尼米尔·拉卡马里奇 1 萨尔瓦多、罗科 1 阿列克谢·索洛维耶夫 连载1篇 1 SIAM科学计算杂志 在2个字段中引用 3 数值分析（65-XX） 2 计算机科学（68至XX） 按年份列出的引文