-
Stabilizing floating-point programs using provenance analysis
Y Gu, T Wahl - ... Conference on Verification, Model Checking, and ..., 2017 - Springer
... All these works use affine arithmetic [20] as the underlying algebraic structure to keep
track of the rounding error. In this paper, we adopt a similar data structure, manifest in the ...
Interval Tools in Branch-and-Bound Methods for Global Optimization
J Fernández, B G-Tóth - The Palgrave Handbook of Operations Research, 2022 - Springer
... to minimize the range overestimation), the slope form [77] (where instead of inclusion of
derivatives, inclusion of slopes are used), or the affine form [22] (which uses affine arithmetic ...