Eric Goubault Sylvie Putot Perturbed affine arithmetic for invariant computation in numerical program analysis http://arxiv.org/abs/0807.2961 2008 CoRR abs/0807.2961 db/journals/corr/corr0807.html#abs-0807-2961 informal publication