… We thus proposed and implemented a relational domain, relying on affine arithmetic [5,22] …
The real part is computed using affine arithmetic, and the error is computed using three …

… Affine arithmetic is an improvement over interval arithmetic that takes correlation between …
If affine form of x is x=x0 + x1ε1, the operation y=x − x performed in affine arithmetic would …

… The affine arithmetic library and the four interval-valued statistical CMP modeling algorithms
have been implemented in C/C++ and tested on a 1.0GHz UNIX machine using two layout …

… A complete comparison between Lipschitz techniques and interval analysis using Interval
Affine [Mit90] or Affine Arithmetic [GM07] is beyond the scope of this paper. Still, binary search …

… Reliable power flow calculation using affine arithmetic is another interval analysis tool where
each uncertainty is represented as affine combinations of certain primitive variables [1, 2]. It …

… In this study, they discussed the reliability of the system and affine arithmetic to improve
interval-valued reliability using the imprecise Dirichlet model and Bayesian approach. Lisnianski …

… special acknowledgment to Professor Jonathan Rose and Vaughn Betz (creators of VPR
tool) from the University of Toronto as well as Professor Jorge Stolfi (creator of affine arithmetic …

… We can observe that both interval and affine arithmetic tools, namely Gappa and SmartFloat,
returned overly pessimistic results. We manually calculated the range of the outputs and …

… Verifying SMT-based results also allowed us to compute and verify a roundoff error for the
JetEngine benchmark, for which interval and affine arithmetic report a spurious division by …

… Interval [19], Taylor model [17] or affine arithmetic [6] based methods are most prominent
examples of verified techniques. Besides proving the correctness of the computed result, …