@entry{gou-put-08-aa-perturb, author = {E Goubault and S Putot}, title = {Perturbed affine arithmetic for invariant computation in numerical program analysis}, journal = {arXiv preprint arXiv:0807.2961,}, volume = {}, number = {}, pages = {}, year = 2008, month = , doi = {}, comment = {}, abstract = {}, url = {{\url{https://arxiv.org/abs/0807.2961}}}, quotes = {... It relied on a more accurate alternative to interval arithmetic: affine arithmetic, the ... in affine} }