@entry{kie-12-aa-yalaa, author = {S Kiel}, title = {YalAA: Yet Another Library for Affine Arithmetic.}, journal = {Reliab. Comput.,}, volume = {}, number = {}, pages = {}, year = 2012, month = , doi = {}, comment = {}, abstract = {}, url = {{\url{http://lune.bourges.univ-orleans.fr/ramdani/swim2011/Abstracts/KIEL.pdf}}}, quotes = {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 ...} }