… -symbolic calculation methodology based on Affine Arithmetic is used. Abstract symbols
describe … An object oriented implementation of an Affine Arithmetic datatype and corresponding …

… Our early experiments show that even the straightforward use of affine arithmetic (AA) [7], a
fine tuned version of IA, does not improve running times sufficiently. Therefore, we developed …

… method based on affine arithmetic is adopted, and the phrase “affine arithmetic-based method”
is … Second, the affine arithmetic is utilized to obtain the interval of objective function and …

… approach than with the use of interval or affine arithmetic exclusion tests. This is evident in
Figs. … Compared to interval pruning the interval and affine arithmetic approaches produce poor …

… Rosa [11] combines an exact SMT solver on reals with sound affine arithmetic to verify
accuracy post-conditions from assertions about the accuracy of inputs. Rosa can guarantee that …

… This technique merges the point-estimate method (PEM) and complex affine arithmetic (AA),
combined with Legendre series approximation (LGSA). It also models the input correlation. …

… We define a function ˆQ using affine arithmetic to overapproximate Q. Then we iterate ˆQpr,
starting with box p X0, until we find a post fixed point. That means when we encounter boxes …

… affine arithmetic into finite element updating, as motivated by the understanding of affine
arithmetic … The incorporation of affine arithmetic into finite element updating will be referred to as …

… Rump and Masahide Kashiwagi is concerned with affine arithmetic, which can reduce the
wrapping effect of naive interval arithmetic. On the regular papers, the following variety of …

… Three methods were studied: interval, fuzzy and affine arithmetic. It was found when forming
the energy balance equation set, correlations between the source of uncertainty and the …