Automatically improving accuracy for floating point expressions
Automatically improving accuracy for floating point expressions
复制标题
自动提高浮点表达式的精度
DOI:
10.1145/2813885.2737959
复制
发表时间:
2015
期刊:
影响因子:
--
通讯作者:
Zachary Tatlock
中科院分区:
文献类型:
--
作者:
P. Panchekha;Alex Sanchez;James R. Wilcox;Zachary Tatlock
Scientific and engineering applications depend on floating point arithmetic to approximate real arithmetic. This approximation introduces rounding error, which can accumulate to produce unacceptabl...