… Several systems have been proposed for the analysis of floating point arithmetic including
Interval Arithmetic, Affine Arithmetic and Monte Carlo Arithmetic. While these systems have …

… algorithm based on the DE algorithm and affine arithmetic for the DED problem of the … ,
and interval estimation methods by adopting affine arithmetic calculating rules, the multisection …

… In addition, we use the CESTAC (Controle et Estimation Stochastique des Arrondic de
Calculs) and the affine arithmetic (AA) to estimate the propagation of round-off errors in robot …

… Form (3) can be obtained automatically using the modified affine arithmetic presented in
section 3. Several properties of this arithmetic permit in certain cases a better enclosure of the …

… The main innovation proposed in this paper is that, at least for computer programs with
integer affine arithmetic, our approach provides both an optimality guarantee for all such …

… [7] uses reduced affine arithmetic to conservatively estimate the presence of PV points in a
… be substantial since the test based on affine arithmetic is conservative. Finally, the technique …

… Of course as xk and xk+1 are sets encoded in affine arithmetic, we will compute a time
interval [tl, tr] that contains all the possible zero-crossing instants for any approximate trajectory …

… They eliminate the main deficiency of the standard affine arithmetic (AA) [3,4,5,6], ie, the …
Revised affine arithmetic (RAA), like standard affine arithmetic, produces guaranteed enclosures …

… Only affine arithmetic accounts for these correlations. To achieve this, uncertainty … This
equation is now extended to include uncertainties through the use of affine arithmetic. The …

… interval analysis and particularly affine arithmetic to tighten the … Evaluating e with affine
arithmetic without rewriting the … + or sin, by their counterpart in affine arithmetic. We denote by Aff(e…