@entry{gou-put-07-aa-imprec, author = {E Goubault and S Putot}, title = {Automatic analysis of imprecision errors in software}, journal = {}, volume = {}, number = {}, pages = {}, year = 2007, month = , doi = {}, comment = {}, abstract = {}, url = {{\url{http://www.lix.polytechnique.fr/~goubault/papers/abstract.pdf}}}, quotes = {... is based on ideas from affine arithmetic [2]. Affine arithmetic is an improvement of interval ... In affine arithmetic, a noise symbol \uc{03b5}i, lying in [-1,1] is introduced to represent the fact that x ...} }