… The extra unitary interval e ̂ j I = [ - 1 , 1 ] is developed from the affine arithmetic, which can
overcome the main limits of affine arithmetic [43]. The more information about the property of …

… In affine arithmetic, we start with x = 0.5 − ∆x +[0,0], then compute r1 := 1 − (0.5 − ∆x) = 0.5 +
∆… In particular, affine arithmetic may lead to excess width. How to get more accurate estimates…

… Static analysis using affine arithmetic can also be used to estimate the propagation of …
A method for static analysis of floating point error based on affine arithmetic is proposed in …

… Abstract: From its introduction in the last decade, affine arithmetic (AA) has shown beneficial
properties to speed up the time of computation procedures in a wide variety of areas. In the …

… For symbolic computations, we use affine arithmetic decision diagrams (AADD, [6], [12]). …
Affine arithmetic [20] is used to compute with ranges resp. convex spaces. Affine arithmetic …

… polynomials with primitive affine arithmetic monodromy group … polynomials with primitive
affine arithmetic monodromy group … p2 with primitive and affine arithmetic monodromy group are …

… The function σ is instantiated with the affine arithmetic-based procedure from Section 5.1.
Since roundoff errors are generally small, we found affine arithmetic suitable for this purpose. …

… For the in-logic evaluation in Coq we show range analysis in interval and affine arithmetic,
for all other runs we use interval arithmetic. As for the accuracy evaluation, benchmarks …

In this paper, an approach able to evaluate approximate explicit expressions of interval
response statistics and structural reliability of randomly excited linear structures with uncertain …

… Affine arithmetic is actually a more flexible simplification of the proposed by Hansen (1975).The
basic idea of affine arithmetic … are necessary, affine arithmetic returns tighter bounds on …