Title: Automatic error analysis in finite digital computations, using range arithmetic