… can be easily reduced to affine-linear using affine arithmetic [1]. Therefore, the following … ,
the approach based on affine arithmetic is worth considering as it is simple and quite efficient. …

… At CMU, we thank Claire Fang for many useful insights into affine arithmetic, and Larry
Pileggi and Xin Li for providing RICE4/5 and many useful insights into fast model reduction. This …

… [[HSS98]] compute bounds on procedural RenderMan shaders using affine arithmetic for
sampling purposes. They note that affine arithmetic should not be used for expressions …

This paper gives details on how to obtain mathematically rigorous results for global
unconstrained and equality constrained optimization problems, as well as for finding all roots of a …

… Affine arithmetic (AA) method is used to design an isolated MG in Reference 56 to compute
the noise symbols values in affine forms, and it has obtained in a real-time dispatch with cost-…

… Affine arithmetic based methods overcome the limitations of … of interval arithmetic and
affine arithmetic by providing an … effort required by affine arithmetic for determining the bitwidth …

The guaranteed solution of initial value problem of ordinary differential equations is well studied
from interval analysis community. In the most of the cases Taylor models are used in this …

… affine arithmetic, we get a MILP that we can solve exactly. If the computer program has integer
non-affine arithmetic, … If the computer program has floating point affine arithmetic, we can …

… Affine arithmetic: we start with x = 0.5 − ∆x + [0,0]; • r1 := 1 − (0.5 − ∆) = 0.5+∆x; • r2 := (0.5 −
∆x) · (0.5+∆x), … Accuracy: affine arithmetic leads to more accurate ranges. • Computation time: …

… A basic implementation of this method is known as Affine Arithmetic (AA). In this method, unlike
… An Affine Arithmetic error model is employed for error propagation in the data flow graph …