可靠计算

（计算机科学技术）

可靠计算（reliable computing），计算机科学技术名词，在采用浮点数表示和存在舍入误差的情况下，保证计算结果精度或数学证明正确的方法和技术。