@misc{gou-put-08-aa-perturb,
  title = {Perturbed Affine Arithmetic for Invariant Computation in Numerical Program Analysis}, 
  author = {Eric Goubault and Sylvie Putot},
  year = 2008,
  howpublished = {Preprint online at the arXiv repository, article 0807.2961},
  url = {https://arxiv.org/abs/0807.2961},
  comment = {Finding invariants of numerical algorithms},
  abstract = {We completely describe a new domain for abstract interpretation of numerical programs. Fixpoint iteration in this domain is proved to converge to finite precise invariants for (at least) the class of stable linear recursive filters of any order. Good evidence shows it behaves well also for some non-linear schemes. The result, and the structure of the domain, rely on an interesting interplay between order and topology.}
}