-
YalAA: Yet Another Library for Affine Arithmetic.
S Kiel - Reliab. Comput., 2012 - lune.bourges.univ-orleans.fr
Affine arithmetic (AA) is a model for verified computations proposed by Comba and Stolfi [1].
In contrast to interval arithmetic it tracks first-order correlations in variables during the ...