双倍快速算术
摘要：可以通过自动验证浮点精度来确保数学计算吗？我们基于Dekker [1971]定义了基于双重近似$z\_0+z\_1$的快速算术，其中$z\_0$是标准结果，$z\_1$评估了不准确性 $Delta z\_0=z-z\_0$。我们提出了即时跟踪$z\_1$，检测是否$Delta z\_0$出现得太高。我们相信永久跟踪值得代价。可以通过网站获取适用于Intel AVX的C++测试代码。
作者：Evgeny Latkin
论文ID：1401.6235
分类：Numerical Analysis
分类简称：cs.NA
提交时间：2014-07-11